kernel/fiasco/src/.gdbinit

   1 define tcb
   2   p *(class thread_t*)((unsigned)&_tcbs_1 + (($arg0 << 17) + ($arg1 << 10) << 1))
   3 end
   4 define dtcb
   5   graph display *(class thread_t*)((unsigned)&_tcbs_1 + (($arg0 << 17) + ($arg1 << 10) << 1))
   6 end
   7
   8 define tcbat
   9   p *(class thread_t*)($arg0)
  10 end
  11
  12 file fiasco.image
  13 set remotebaud 115200
  14
  15 ## for debugging on COM2
  16 target remote /dev/ttyS1
  17
  18 ## for debugging on COM2
  19 #target remote /dev/ttyS0
  20
  21 set output-radix 16
  22 set history save on