-- Everything went normal until here, now entering jdb with enter_kdebug()

    ---------------------------------------------------------------------      
    CPU 0 [0100043f]: INT 3
jdb: jb
    ---------------------------------------------------------------------      
    CPU 0 [01000441]: Branch/Call
jdb: jb
    ---------------------------------------------------------------------      
    CPU 0 [01000444]: Branch/Call
jdb: jb
    ---------------------------------------------------------------------      
    CPU 0 [01000445]: Branch/Call
jdb: jb
    ---------------------------------------------------------------------      
    CPU 0 [00000000]: Branch/Call

jdb: I+
IPC logging enabled (exit with 'i', proceed with other key)
jdb: jb

ipc: 001b send->[C:9001] DID=2 L=0 [Klog200d] (00000000,0000002c) TO=INF
L4Re[rm]: unhandled read page fault @0 pc=0
ipc: 001b repl->[C:INV] DID=26 L=0 [00000001] (ffffffff,00000000) TO=0/INF
ipc: 001b send->[C:9001] DID=2 L=0 [Klog200b] (00000000,00000022) TO=INF
L4Re: unhandled exception: pc=0x0
ipc: 001b wait->[C:INV] DID=1b L=0 TO=INF

[      #threadipc] jdb: lp
   id  cpu    name             pr     sp  wait    to state
   26   0     -----             0     1a    1b       ready,rcv_wait,exc_progr
   25   0     -----             0     1a    1b       rcv_wait,exc_progr
   1e   0     -----             2     1a     a       rcv_wait
   1b   0     #threadipc       ff     1a             ready
    a   0     moe              ff      9     -       rcv_wait
    8   0     sigma0            1      7     -       rcv_wait
    6   0     -----             0      1             ready