#
exec
#
Using base address 0x00400000 and length 0x000f2960
#
Uncompressing Linux................................................................... done, booting the kernel.