initfs at 0xffffffff80123000
    loading file:0x00000000+0x0190 -> 0x00400000 r-x
    loading file:0x00000190+0x0010 -> 0x00600190 rw-

syscall: 0 at 0x4000c8
syscall: This is a message that I want to print out

syscall: 1 at 0x4000c8
syscall: thread 2 called exit() with status 0
killing pid 2