Datasheet

(gdb) info registers

r0 0x800000 8388608

r1 0x4000b000 1073786880

r2 0xb4a5e0 11838944

r3 0x3fffef 4194287

r4 0xffffffff 4294967295

r5 0xffffff 16777215

r6 0x504 1284

r7 0x540 1344

r8 0xff800000 4286578688

r9 0x20000 131072

r10 0x1fff8000 536838144

r11 0x0 0

r12 0x20 32

sp 0x20001e40 0x20001e40 <g_idle_task_stack+192>

lr 0x18435 99381

pc 0x184aa 0x184aa <os_tick_idle+182>

xpsr 0x21000000 553648128

MSP 0x20008000 536903680

PSP 0x20001e40 536878656

PRIMASK 0x1 1

BASEPRI 0x0 0

FAULTMASK 0x0 0

CONTROL 0x2 2

Working with Source Code

You can display source code inside GDB with some basic commands.

Displaying a function

This will display the first 10 lines of the specified function:

(gdb) list os_idle_task

39 #endif

40 #define MAX_IDLE_TICKS (600 * OS_TICKS_PER_SEC) /* 10 minutes */

42 void

43 os_idle_task(void *arg)

44 {

45 os_sr_t sr;

46 os_time_t now;

47 os_time_t iticks, sticks, cticks;

To display the next 10 lines enter: