=> boot 2482408 bytes read in 19 ms (124.6 MiB/s) ## Starting application at 0x807cf000 ... Enter::platform_init Exit::platform_init ELF-loader started on CPU: ARM Ltd. Cortex-A53 r0p4 paddr=[807cf000..80a011af] No DTB passed in from boot loader. Looking for DTB in CPIO archive...found at 808f98e0. Loaded DTB from 808f98e0. paddr=[80245000..80253fff] ELF-loading image 'kernel' to 80000000 paddr=[80000000..80244fff] vaddr=[ffffff8080000000..ffffff8080244fff] virt_entry=ffffff8080000000 ELF-loading image 'hello' to 80254000 paddr=[80254000..803ddfff] vaddr=[400000..589fff] virt_entry=428ac8 Enabling MMU and paging Jumping to kernel-image entry point... Bootstrapping kernel available phys memory regions: 3 [80000000..83200000] [835e0000..84000000] [84400000..a0000000] reserved virt address space regions: 3 [ffffff8080000000..ffffff8080245000] [ffffff8080245000..ffffff8080253b44] [ffffff8080254000..ffffff80803de000] @@@ paddr = 0x0 sizeBits = 30 @@@ paddr = 0x40000000 sizeBits = 28 #### paddr is matched @@@ paddr = 0x50000000 sizeBits = 23 @@@ paddr = 0x50810000 sizeBits = 16 @@@ paddr = 0x50820000 sizeBits = 17 @@@ paddr = 0x50840000 sizeBits = 18 @@@ paddr = 0x50880000 sizeBits = 19 @@@ paddr = 0x50a00000 sizeBits = 21 @@@ paddr = 0x50c00000 sizeBits = 22 @@@ paddr = 0x51000000 sizeBits = 24 @@@ paddr = 0x52000000 sizeBits = 25 @@@ paddr = 0x54000000 sizeBits = 26 @@@ paddr = 0x58000000 sizeBits = 27 @@@ paddr = 0x60000000 sizeBits = 29 @@@ paddr = 0x83200000 sizeBits = 21 @@@ paddr = 0x83400000 sizeBits = 20 @@@ paddr = 0x83500000 sizeBits = 19 @@@ paddr = 0x83580000 sizeBits = 18 @@@ paddr = 0x835c0000 sizeBits = 17 @@@ paddr = 0x84000000 sizeBits = 22 @@@ paddr = 0xa0000000 sizeBits = 29 @@@ paddr = 0xc0000000 sizeBits = 30 @@@ paddr = 0x100000000 sizeBits = 32 @@@ paddr = 0x200000000 sizeBits = 33 @@@ paddr = 0x400000000 sizeBits = 34 @@@ paddr = 0x800000000 sizeBits = 35 @@@ paddr = 0x1000000000 sizeBits = 36 @@@ paddr = 0x2000000000 sizeBits = 37 @@@ paddr = 0x4000000000 sizeBits = 38 @@@ paddr = 0x8000000000 sizeBits = 39 @@@ paddr = 0x80000000 sizeBits = 16 @@@ paddr = 0x80253b50 sizeBits = 4 @@@ paddr = 0x80253b60 sizeBits = 5 @@@ paddr = 0x80253b80 sizeBits = 7 @@@ paddr = 0x80253c00 sizeBits = 10 @@@ paddr = 0x803de000 sizeBits = 13 @@@ paddr = 0x803e0000 sizeBits = 17 @@@ paddr = 0x80400000 sizeBits = 22 @@@ paddr = 0x80800000 sizeBits = 23 @@@ paddr = 0x81000000 sizeBits = 24 @@@ paddr = 0x82000000 sizeBits = 24 @@@ paddr = 0x83000000 sizeBits = 21 @@@ paddr = 0x835e0000 sizeBits = 17 @@@ paddr = 0x83600000 sizeBits = 21 @@@ paddr = 0x83800000 sizeBits = 23 @@@ paddr = 0x84400000 sizeBits = 22 @@@ paddr = 0x84800000 sizeBits = 23 @@@ paddr = 0x85000000 sizeBits = 24 @@@ paddr = 0x86000000 sizeBits = 25 @@@ paddr = 0x88000000 sizeBits = 27 @@@ paddr = 0x90000000 sizeBits = 27 @@@ paddr = 0x98000000 sizeBits = 26 @@@ paddr = 0x9c000000 sizeBits = 25 @@@ paddr = 0x9e000000 sizeBits = 24 @@@ paddr = 0x9f000000 sizeBits = 23 @@@ paddr = 0x9f800000 sizeBits = 22 @@@ paddr = 0x9fc00000 sizeBits = 21 @@@ paddr = 0x9fe00000 sizeBits = 20 @@@ paddr = 0x9ff00000 sizeBits = 19 @@@ paddr = 0x9ff80000 sizeBits = 18 @@@ paddr = 0x9fff7800 sizeBits = 11 @@@ paddr = 0x9fff8000 sizeBits = 15 Booting all finished, dropped to user space Warning: using printf before serial is set up. This only works as your printf is backed by seL4_Debug_PutChar() $$$ Hello World! $$$ init_env@hello.c:82 Enter::init_env() Node 0 of 1 IOPT levels: 0 IPC buffer: 0x58a000 Empty slots: [490 --> 4096) sharedFrames: [0 --> 0) userImageFrames: [34 --> 428) userImagePaging: [16 --> 19) untypeds: [428 --> 490) Initial thread domain: 0 Initial thread cnode size: 12 List of untypeds ------------------ Paddr | Size | Device 0 | 30 | 1 0x40000000 | 28 | 1 0x50000000 | 23 | 1 0x50810000 | 16 | 1 0x50820000 | 17 | 1 0x50840000 | 18 | 1 0x50880000 | 19 | 1 0x50a00000 | 21 | 1 0x50c00000 | 22 | 1 0x51000000 | 24 | 1 0x52000000 | 25 | 1 0x54000000 | 26 | 1 0x58000000 | 27 | 1 0x60000000 | 29 | 1 0x83200000 | 21 | 1 0x83400000 | 20 | 1 0x83500000 | 19 | 1 0x83580000 | 18 | 1 0x835c0000 | 17 | 1 0x84000000 | 22 | 1 0xa0000000 | 29 | 1 0xc0000000 | 30 | 1 0x100000000 | 32 | 1 0x200000000 | 33 | 1 0x400000000 | 34 | 1 0x800000000 | 35 | 1 0x1000000000 | 36 | 1 0x2000000000 | 37 | 1 0x4000000000 | 38 | 1 0x8000000000 | 39 | 1 0x80000000 | 16 | 0 0x80253b50 | 4 | 0 0x80253b60 | 5 | 0 0x80253b80 | 7 | 0 0x80253c00 | 10 | 0 0x803de000 | 13 | 0 0x803e0000 | 17 | 0 0x80400000 | 22 | 0 0x80800000 | 23 | 0 0x81000000 | 24 | 0 0x82000000 | 24 | 0 0x83000000 | 21 | 0 0x835e0000 | 17 | 0 0x83600000 | 21 | 0 0x83800000 | 23 | 0 0x84400000 | 22 | 0 0x84800000 | 23 | 0 0x85000000 | 24 | 0 0x86000000 | 25 | 0 0x88000000 | 27 | 0 0x90000000 | 27 | 0 0x98000000 | 26 | 0 0x9c000000 | 25 | 0 0x9e000000 | 24 | 0 0x9f000000 | 23 | 0 0x9f800000 | 22 | 0 0x9fc00000 | 21 | 0 0x9fe00000 | 20 | 0 0x9ff00000 | 19 | 0 0x9ff80000 | 18 | 0 0x9fff7800 | 11 | 0 0x9fff8000 | 15 | 0 Untyped summary 1 untypeds of size 4 1 untypeds of size 5 1 untypeds of size 7 1 untypeds of size 10 1 untypeds of size 11 1 untypeds of size 13 1 untypeds of size 15 2 untypeds of size 16 4 untypeds of size 17 3 untypeds of size 18 3 untypeds of size 19 2 untypeds of size 20 5 untypeds of size 21 5 untypeds of size 22 5 untypeds of size 23 5 untypeds of size 24 3 untypeds of size 25 2 untypeds of size 26 3 untypeds of size 27 1 untypeds of size 28 2 untypeds of size 29 2 untypeds of size 30 1 untypeds of size 32 1 untypeds of size 33 1 untypeds of size 34 1 untypeds of size 35 1 untypeds of size 36 1 untypeds of size 37 1 untypeds of size 38 1 untypeds of size 39 CSlot Paddr Size Type 0x1ac 0 2^30 device untyped 0x1ad 0x40000000 2^28 device untyped 0x1ae 0x50000000 2^23 device untyped 0x1af 0x50810000 2^16 device untyped 0x1b0 0x50820000 2^17 device untyped 0x1b1 0x50840000 2^18 device untyped 0x1b2 0x50880000 2^19 device untyped 0x1b3 0x50a00000 2^21 device untyped 0x1b4 0x50c00000 2^22 device untyped 0x1b5 0x51000000 2^24 device untyped 0x1b6 0x52000000 2^25 device untyped 0x1b7 0x54000000 2^26 device untyped 0x1b8 0x58000000 2^27 device untyped 0x1b9 0x60000000 2^29 device untyped 0x1ba 0x83200000 2^21 device untyped 0x1bb 0x83400000 2^20 device untyped 0x1bc 0x83500000 2^19 device untyped 0x1bd 0x83580000 2^18 device untyped 0x1be 0x835c0000 2^17 device untyped 0x1bf 0x84000000 2^22 device untyped 0x1c0 0xa0000000 2^29 device untyped 0x1c1 0xc0000000 2^30 device untyped 0x1c2 0x100000000 2^32 device untyped 0x1c3 0x200000000 2^33 device untyped 0x1c4 0x400000000 2^34 device untyped 0x1c5 0x800000000 2^35 device untyped 0x1c6 0x1000000000 2^36 device untyped 0x1c7 0x2000000000 2^37 device untyped 0x1c8 0x4000000000 2^38 device untyped 0x1c9 0x8000000000 2^39 device untyped 0x1ca 0x80000000 2^16 untyped 0x1cb 0x80253b50 2^4 untyped 0x1cc 0x80253b60 2^5 untyped 0x1cd 0x80253b80 2^7 untyped 0x1ce 0x80253c00 2^10 untyped 0x1cf 0x803de000 2^13 untyped 0x1d0 0x803e0000 2^17 untyped 0x1d1 0x80400000 2^22 untyped 0x1d2 0x80800000 2^23 untyped 0x1d3 0x81000000 2^24 untyped 0x1d4 0x82000000 2^24 untyped 0x1d5 0x83000000 2^21 untyped 0x1d6 0x835e0000 2^17 untyped 0x1d7 0x83600000 2^21 untyped 0x1d8 0x83800000 2^23 untyped 0x1d9 0x84400000 2^22 untyped 0x1da 0x84800000 2^23 untyped 0x1db 0x85000000 2^24 untyped 0x1dc 0x86000000 2^25 untyped 0x1dd 0x88000000 2^27 untyped 0x1de 0x90000000 2^27 untyped 0x1df 0x98000000 2^26 untyped 0x1e0 0x9c000000 2^25 untyped 0x1e1 0x9e000000 2^24 untyped 0x1e2 0x9f000000 2^23 untyped 0x1e3 0x9f800000 2^22 untyped 0x1e4 0x9fc00000 2^21 untyped 0x1e5 0x9fe00000 2^20 untyped 0x1e6 0x9ff00000 2^19 untyped 0x1e7 0x9ff80000 2^18 untyped 0x1e8 0x9fff7800 2^11 untyped 0x1e9 0x9fff8000 2^15 untyped Success init_env@hello.c:129 Calling bootstrap_use_current_simple() ... init_env@hello.c:137 bootstrap_use_current_simple() done init_env@hello.c:151 sel4utils_bootstrap_vspace_with_bootinfo_leaky() done init_env@hello.c:160 vspace_reserve_range() done init_env@hello.c:165 bootstrap_configure_virtual_pool() done init_env@hello.c:169 Page size = 0x1000 init_env@hello.c:175 Physical address 0x40520000 mapped to virtual address 0x10064000 init_env@hello.c:179 Loc 0 --> 0x0 init_env@hello.c:179 Loc 4 --> 0x0 Caught cap fault in send phase at address 0 while trying to handle: vm fault on data at address 0x10064008 with status 0x92000210 in thread 0xffffff809fff7400 "rootserver" at address 0x4011c4 With stack: 0x483b80: 0x483ea0 0x483b88: 0x40127c 0x483b90: 0x484000 0x483b98: 0x1 0x483ba0: 0x483bd0 0x483ba8: 0x10000000 0x483bb0: 0x489020 0x483bb8: 0x489060 0x483bc0: 0x423e7c 0x483bc8: 0x424008 0x483bd0: 0x0 0x483bd8: 0x0 0x483be0: 0x0 0x483be8: 0x0 0x483bf0: 0x0 0x483bf8: 0x0