Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- U-Boot 2017.05-00004-g88af53fbce (Apr 22 2020 - 11:52:48 +0100) for ODROID-XU4
- CPU: Exynos5422 @ 800 MHz
- Model: Odroid XU4 based on EXYNOS5422
- Board: Odroid XU4 based on EXYNOS5422
- Type: xu4
- DRAM: 2 GiB
- MMC: EXYNOS DWMMC: 0, EXYNOS DWMMC: 1
- MMC Device 0 (eMMC): 14.6 GiB
- Info eMMC rst_n_func status = enabled
- Card did not respond to voltage select!
- mmc_init: -95, time 11
- *** Warning - bad CRC, using default environment
- In: serial
- Out: serial
- Err: serial
- Net: No ethernet found.
- Press quickly 'Enter' twice to stop autoboot: 1 0
- reading boot.ini
- 9735 bytes read in 3 ms (3.1 MiB/s)
- cfgload addr = 0x50000000, Loading boot.ini from FAT
- cfgload: applying boot.ini...
- cfgload: setenv initrd_high "0xffffffff"
- cfgload: setenv fdt_high "0xffffffff"
- cfgload: setenv macaddr "00:1e:06:61:7a:39"
- cfgload: setenv vout "hdmi"
- cfgload: setenv cecenable "false" # false or true
- cfgload: setenv disable_vu7 "false" # false
- cfgload: setenv ddr_freq 825
- cfgload: setenv external_watchdog "false"
- cfgload: setenv external_watchdog_debounce "3"
- cfgload: setenv HPD "true"
- cfgload: setenv bootrootfs "console=tty1 console=ttySAC2,115200n8 root=UUID=e139ce78-9841-40fe-8823-96a304a09859 rootwait ro fsck.repair=yes net.ifnames=0"
- cfgload: fatload mmc 0:1 ${kernel_addr_r} vm.elf
- reading vm.elf
- 43044652 bytes read in 1514 ms (27.1 MiB/s)
- cfgload: dmc ${ddr_freq}
- cfgload: bootelf ${kernel_addr_r}
- CACHE: Misaligned operation at range [62ced000, 62ced034]
- CACHE: Misaligned operation at range [62cee000, 62cf809c]
- CACHE: Misaligned operation at range [62cf809c, 62cf8bef]
- CACHE: Misaligned operation at range [655d5440, 655d54e4]
- CACHE: Misaligned operation at range [655d54e4, 655d5510]
- ## Starting application at 0x62ced000 ...
- Switching CPU...
- ELF-loader started on CPU: ARM Ltd. Cortex-A15 r2p3
- paddr=[62ced000..655d550f]
- No DTB passed in from boot loader.
- Looking for DTB in CPIO archive...found at 62e08b2c.
- Loaded DTB from 62e08b2c.
- paddr=[6003e000..6004cfff]
- ELF-loading image 'kernel'
- paddr=[60000000..6003dfff]
- vaddr=[e0000000..e003dfff]
- virt_entry=e0000000
- ELF-loading image 'capdl-loader'
- paddr=[6004d000..628f5fff]
- vaddr=[10000..28b8fff]
- virt_entry=19a1c
- Enabling hypervisor MMU and paging
- Jumping to kernel-image entry point...
- Bootstrapping kernel
- Booting all finished, dropped to user space
- main@main.c:2028 Starting Loader...
- parse_bootinfo@main.c:434 Parsing bootinfo...
- parse_bootinfo@main.c:450 251589 free cap slots, from 10555 to 262144
- parse_bootinfo@main.c:505 Loader is running in domain 0
- sort_untypeds@main.c:391 Sorting untypeds...
- sort_untypeds@main.c:416 Untyped 0 (cptr=0x28da) (addr=0) is of size 28. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 1 (cptr=0x28db) (addr=0x10000000) is of size 20. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 2 (cptr=0x28dc) (addr=0x10100000) is of size 19. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 3 (cptr=0x28dd) (addr=0x10180000) is of size 18. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 4 (cptr=0x28de) (addr=0x101c1000) is of size 12. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 5 (cptr=0x28df) (addr=0x101c2000) is of size 13. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 6 (cptr=0x28e0) (addr=0x101c4000) is of size 14. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 7 (cptr=0x28e1) (addr=0x101c8000) is of size 15. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 8 (cptr=0x28e2) (addr=0x101d0000) is of size 16. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 9 (cptr=0x28e3) (addr=0x101e0000) is of size 17. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 10 (cptr=0x28e4) (addr=0x10200000) is of size 21. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 11 (cptr=0x28e5) (addr=0x10400000) is of size 19. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 12 (cptr=0x28e6) (addr=0x10480000) is of size 12. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 13 (cptr=0x28e7) (addr=0x10483000) is of size 12. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 14 (cptr=0x28e8) (addr=0x10485000) is of size 12. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 15 (cptr=0x28e9) (addr=0x10486000) is of size 13. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 16 (cptr=0x28ea) (addr=0x10488000) is of size 15. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 17 (cptr=0x28eb) (addr=0x10490000) is of size 16. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 18 (cptr=0x28ec) (addr=0x104a0000) is of size 17. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 19 (cptr=0x28ed) (addr=0x104c0000) is of size 18. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 20 (cptr=0x28ee) (addr=0x10500000) is of size 20. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 21 (cptr=0x28ef) (addr=0x10600000) is of size 21. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 22 (cptr=0x28f0) (addr=0x10800000) is of size 23. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 23 (cptr=0x28f1) (addr=0x11000000) is of size 24. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 24 (cptr=0x28f2) (addr=0x12000000) is of size 25. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 25 (cptr=0x28f3) (addr=0x14000000) is of size 26. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 26 (cptr=0x28f4) (addr=0x18000000) is of size 27. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 27 (cptr=0x28f5) (addr=0x20000000) is of size 29. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 28 (cptr=0x28f6) (addr=0x40000000) is of size 29. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 29 (cptr=0x28f7) (addr=0x7f200000) is of size 21. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 30 (cptr=0x28f8) (addr=0x7f400000) is of size 22. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 31 (cptr=0x28f9) (addr=0x7f800000) is of size 23. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 32 (cptr=0x28fa) (addr=0x80000000) is of size 29. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 33 (cptr=0x28fb) (addr=0xa0000000) is of size 29. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 34 (cptr=0x28fc) (addr=0xc0000000) is of size 29. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 35 (cptr=0x28fd) (addr=0xe0000000) is of size 28. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 36 (cptr=0x28fe) (addr=0xf0000000) is of size 27. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 37 (cptr=0x28ff) (addr=0xf8000000) is of size 26. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 38 (cptr=0x2900) (addr=0xfc000000) is of size 25. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 39 (cptr=0x2901) (addr=0xfe000000) is of size 24. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 40 (cptr=0x2902) (addr=0xff000000) is of size 23. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 41 (cptr=0x2903) (addr=0xff800000) is of size 22. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 42 (cptr=0x2904) (addr=0xffc00000) is of size 21. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 43 (cptr=0x2905) (addr=0xffe00000) is of size 20. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 44 (cptr=0x2906) (addr=0xfff00000) is of size 19. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 45 (cptr=0x2907) (addr=0xfff80000) is of size 18. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 46 (cptr=0x2908) (addr=0xfffc0000) is of size 17. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 47 (cptr=0x2909) (addr=0xfffe0000) is of size 16. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 48 (cptr=0x290a) (addr=0xffff0000) is of size 15. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 49 (cptr=0x290b) (addr=0xffff8000) is of size 14. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 50 (cptr=0x290c) (addr=0xffffc000) is of size 13. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 51 (cptr=0x290d) (addr=0xffffe000) is of size 12. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 52 (cptr=0x290e) (addr=0xfffff000) is of size 11. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 53 (cptr=0x290f) (addr=0xfffff800) is of size 10. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 54 (cptr=0x2910) (addr=0xfffffc00) is of size 9. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 55 (cptr=0x2911) (addr=0xfffffe00) is of size 8. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 56 (cptr=0x2912) (addr=0xffffff00) is of size 7. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 57 (cptr=0x2913) (addr=0xffffff80) is of size 6. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 58 (cptr=0x2914) (addr=0xffffffc0) is of size 5. Skipping as it is device
- sort_untypeds@main.c:416 Untyped 59 (cptr=0x2915) (addr=0xffffffe0) is of size 4. Skipping as it is device
- sort_untypeds@main.c:422 Untyped 60 (cptr=0x2916) (addr=0x60000000) is of size 16. Placing in slot 14...
- sort_untypeds@main.c:422 Untyped 61 (cptr=0x2917) (addr=0x628f6000) is of size 13. Placing in slot 17...
- sort_untypeds@main.c:422 Untyped 62 (cptr=0x2918) (addr=0x628f8000) is of size 15. Placing in slot 16...
- sort_untypeds@main.c:422 Untyped 63 (cptr=0x2919) (addr=0x62900000) is of size 20. Placing in slot 10...
- sort_untypeds@main.c:422 Untyped 64 (cptr=0x291a) (addr=0x62a00000) is of size 21. Placing in slot 8...
- sort_untypeds@main.c:422 Untyped 65 (cptr=0x291b) (addr=0x62c00000) is of size 22. Placing in slot 7...
- sort_untypeds@main.c:422 Untyped 66 (cptr=0x291c) (addr=0x63000000) is of size 24. Placing in slot 5...
- sort_untypeds@main.c:422 Untyped 67 (cptr=0x291d) (addr=0x64000000) is of size 26. Placing in slot 2...
- sort_untypeds@main.c:422 Untyped 68 (cptr=0x291e) (addr=0x68000000) is of size 27. Placing in slot 0...
- sort_untypeds@main.c:422 Untyped 69 (cptr=0x291f) (addr=0x70000000) is of size 27. Placing in slot 1...
- sort_untypeds@main.c:422 Untyped 70 (cptr=0x2920) (addr=0x78000000) is of size 26. Placing in slot 3...
- sort_untypeds@main.c:422 Untyped 71 (cptr=0x2921) (addr=0x7c000000) is of size 25. Placing in slot 4...
- sort_untypeds@main.c:422 Untyped 72 (cptr=0x2922) (addr=0x7e000000) is of size 23. Placing in slot 6...
- sort_untypeds@main.c:422 Untyped 73 (cptr=0x2923) (addr=0x7ec2c800) is of size 11. Placing in slot 20...
- sort_untypeds@main.c:422 Untyped 74 (cptr=0x2924) (addr=0x7ec2d000) is of size 12. Placing in slot 19...
- sort_untypeds@main.c:422 Untyped 75 (cptr=0x2925) (addr=0x7ec2e000) is of size 13. Placing in slot 18...
- sort_untypeds@main.c:422 Untyped 76 (cptr=0x2926) (addr=0x7ec30000) is of size 16. Placing in slot 15...
- sort_untypeds@main.c:422 Untyped 77 (cptr=0x2927) (addr=0x7ec40000) is of size 18. Placing in slot 13...
- sort_untypeds@main.c:422 Untyped 78 (cptr=0x2928) (addr=0x7ec80000) is of size 19. Placing in slot 12...
- sort_untypeds@main.c:422 Untyped 79 (cptr=0x2929) (addr=0x7ed00000) is of size 20. Placing in slot 11...
- sort_untypeds@main.c:422 Untyped 80 (cptr=0x292a) (addr=0x7ee00000) is of size 21. Placing in slot 9...
- create_objects@main.c:770 Creating objects...
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x2073000 in slot 10555, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x2073000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x3810000 in slot 10556, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x3810000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x3830000 in slot 10557, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x3830000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x3860000 in slot 10558, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x3860000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x3880000 in slot 10559, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x3880000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x10000000 in slot 10560, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x10000000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x10010000 in slot 10561, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x10010000, size = 16 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x10020000 in slot 10562, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x10020000, size = 17 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x10040000 in slot 10563, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x10040000, size = 14 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x10044000 in slot 10564, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x10044000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x10050000 in slot 10565, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x10050000, size = 14 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x10054000 in slot 10566, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x10054000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x10060000 in slot 10567, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x10060000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x10064000 in slot 10568, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x10064000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x10068000 in slot 10569, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x10068000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x1006c000 in slot 10570, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x1006c000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x100a0000 in slot 10571, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x100a0000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x101d0000 in slot 10572, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x101d0000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x101e0000 in slot 10573, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x101e0000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x10440000 in slot 10574, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x10440000, size = 12 bits
- create_objects@main.c:792 Creating object vm0_untyped_cap_0x10486000 in slot 10575, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x10486000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x10800000 in slot 10576, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x10800000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x10a60000 in slot 10577, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x10a60000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x10a70000 in slot 10578, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x10a70000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x10ca1000 in slot 10579, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x10ca1000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x10d20000 in slot 10580, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x10d20000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x11200000 in slot 10581, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x11200000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x11210000 in slot 10582, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x11210000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x11d40000 in slot 10583, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x11d40000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x11f10000 in slot 10584, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x11f10000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x11f20000 in slot 10585, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x11f20000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x12000000 in slot 10586, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x12000000, size = 16 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x12100000 in slot 10587, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x12100000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x12110000 in slot 10588, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x12110000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x12120000 in slot 10589, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x12120000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x12130000 in slot 10590, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x12130000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x121a0000 in slot 10591, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x121a0000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x121b0000 in slot 10592, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x121b0000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x12200000 in slot 10593, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x12200000, size = 13 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x12210000 in slot 10594, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x12210000, size = 13 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x12220000 in slot 10595, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x12220000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x12400000 in slot 10596, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x12400000, size = 16 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x12500000 in slot 10597, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x12500000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x12880000 in slot 10598, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x12880000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x12890000 in slot 10599, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x12890000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x128a0000 in slot 10600, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x128a0000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x128c0000 in slot 10601, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x128c0000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x128d0000 in slot 10602, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x128d0000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x128e0000 in slot 10603, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x128e0000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x12c00000 in slot 10604, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x12c00000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x12c10000 in slot 10605, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x12c10000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x12c20000 in slot 10606, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x12c20000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x12c30000 in slot 10607, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x12c30000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x12c60000 in slot 10608, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x12c60000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x12c70000 in slot 10609, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x12c70000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x12c80000 in slot 10610, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x12c80000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x12c90000 in slot 10611, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x12c90000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x12ca0000 in slot 10612, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x12ca0000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x12cb0000 in slot 10613, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x12cb0000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x12cc0000 in slot 10614, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x12cc0000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x12d10000 in slot 10615, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x12d10000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x12dd0000 in slot 10616, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x12dd0000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x13400000 in slot 10617, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x13400000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x13410000 in slot 10618, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x13410000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x13e00000 in slot 10619, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x13e00000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x13e10000 in slot 10620, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x13e10000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x13e80000 in slot 10621, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x13e80000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x13e90000 in slot 10622, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x13e90000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x14010000 in slot 10623, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x14010000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x14640000 in slot 10624, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x14640000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x14650000 in slot 10625, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x14650000, size = 12 bits
- create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x14680000 in slot 10626, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x14680000, size = 12 bits
- create_objects@main.c:792 Creating object vm0_untyped_cap_0x80000000 in slot 10627, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x80000000, size = 28 bits
- create_objects@main.c:792 Creating object vm0_untyped_cap_0x90000000 in slot 10628, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0x90000000, size = 28 bits
- create_objects@main.c:792 Creating object vm0_untyped_cap_0xa0000000 in slot 10629, from untyped 291e...
- create_object@main.c:656 device frame/untyped, paddr = 0xa0000000, size = 28 bits
- create_objects@main.c:792 Creating object vm0_cnode in slot 10630, from untyped 291e...
- create_object@main.c:640 [Cond failed: CDL_Obj_Type(obj) == CDL_CNode]
- (CNode of size 23 bits)
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0046 in slot 10631, from untyped 291e...
- <<seL4(CPU 0) [decodeUntypedInvocation/212 T0xfec2c400 "rootserver" @10724]: Untyped Retype: Insufficient memory (1 * 33554432 bytes needed, 0 bytes available).>>
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0046 in slot 10631, from untyped 291f...
- create_objects@main.c:792 Creating object vm0_simple_untyped_24_pool_0 in slot 10632, from untyped 291f...
- create_objects@main.c:792 Creating object vm0_simple_untyped_24_pool_1 in slot 10633, from untyped 291f...
- create_objects@main.c:792 Creating object vm0_simple_untyped_24_pool_10 in slot 10634, from untyped 291f...
- create_objects@main.c:792 Creating object vm0_simple_untyped_24_pool_11 in slot 10635, from untyped 291f...
- create_objects@main.c:792 Creating object vm0_simple_untyped_24_pool_2 in slot 10636, from untyped 291f...
- create_objects@main.c:792 Creating object vm0_simple_untyped_24_pool_3 in slot 10637, from untyped 291f...
- create_objects@main.c:792 Creating object vm0_simple_untyped_24_pool_4 in slot 10638, from untyped 291f...
- <<seL4(CPU 0) [decodeUntypedInvocation/212 T0xfec2c400 "rootserver" @10724]: Untyped Retype: Insufficient memory (1 * 16777216 bytes needed, 0 bytes available).>>
- create_objects@main.c:792 Creating object vm0_simple_untyped_24_pool_4 in slot 10638, from untyped 291d...
- create_objects@main.c:792 Creating object vm0_simple_untyped_24_pool_5 in slot 10639, from untyped 291d...
- create_objects@main.c:792 Creating object vm0_simple_untyped_24_pool_6 in slot 10640, from untyped 291d...
- create_objects@main.c:792 Creating object vm0_simple_untyped_24_pool_7 in slot 10641, from untyped 291d...
- create_objects@main.c:792 Creating object vm0_simple_untyped_24_pool_8 in slot 10642, from untyped 291d...
- <<seL4(CPU 0) [decodeUntypedInvocation/212 T0xfec2c400 "rootserver" @10724]: Untyped Retype: Insufficient memory (1 * 16777216 bytes needed, 0 bytes available).>>
- create_objects@main.c:792 Creating object vm0_simple_untyped_24_pool_8 in slot 10642, from untyped 2920...
- create_objects@main.c:792 Creating object vm0_simple_untyped_24_pool_9 in slot 10643, from untyped 2920...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0031 in slot 10644, from untyped 2920...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0032 in slot 10645, from untyped 2920...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0033 in slot 10646, from untyped 2920...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0034 in slot 10647, from untyped 2920...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0035 in slot 10648, from untyped 2920...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0036 in slot 10649, from untyped 2920...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0037 in slot 10650, from untyped 2920...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0038 in slot 10651, from untyped 2920...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0039 in slot 10652, from untyped 2920...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0040 in slot 10653, from untyped 2920...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0041 in slot 10654, from untyped 2920...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0042 in slot 10655, from untyped 2920...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0043 in slot 10656, from untyped 2920...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0044 in slot 10657, from untyped 2920...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0045 in slot 10658, from untyped 2920...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0046 in slot 10659, from untyped 2920...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0047 in slot 10660, from untyped 2920...
- <<seL4(CPU 0) [decodeUntypedInvocation/212 T0xfec2c400 "rootserver" @10724]: Untyped Retype: Insufficient memory (1 * 2097152 bytes needed, 0 bytes available).>>
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0047 in slot 10660, from untyped 2921...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0031 in slot 10661, from untyped 2921...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0032 in slot 10662, from untyped 2921...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0033 in slot 10663, from untyped 2921...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0034 in slot 10664, from untyped 2921...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0035 in slot 10665, from untyped 2921...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0036 in slot 10666, from untyped 2921...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0037 in slot 10667, from untyped 2921...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0038 in slot 10668, from untyped 2921...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0039 in slot 10669, from untyped 2921...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0040 in slot 10670, from untyped 2921...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0041 in slot 10671, from untyped 2921...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0042 in slot 10672, from untyped 2921...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0043 in slot 10673, from untyped 2921...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0044 in slot 10674, from untyped 2921...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0045 in slot 10675, from untyped 2921...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0047 in slot 10676, from untyped 2921...
- <<seL4(CPU 0) [decodeUntypedInvocation/212 T0xfec2c400 "rootserver" @10724]: Untyped Retype: Insufficient memory (1 * 2097152 bytes needed, 0 bytes available).>>
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0047 in slot 10676, from untyped 291c...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0048 in slot 10677, from untyped 291c...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0049 in slot 10678, from untyped 291c...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0050 in slot 10679, from untyped 291c...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0051 in slot 10680, from untyped 291c...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0052 in slot 10681, from untyped 291c...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0053 in slot 10682, from untyped 291c...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0054 in slot 10683, from untyped 291c...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0055 in slot 10684, from untyped 291c...
- <<seL4(CPU 0) [decodeUntypedInvocation/212 T0xfec2c400 "rootserver" @10724]: Untyped Retype: Insufficient memory (1 * 2097152 bytes needed, 0 bytes available).>>
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0055 in slot 10684, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0000 in slot 10685, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0001 in slot 10686, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0002 in slot 10687, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0003 in slot 10688, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0004 in slot 10689, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0005 in slot 10690, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0006 in slot 10691, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0007 in slot 10692, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0008 in slot 10693, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0009 in slot 10694, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0010 in slot 10695, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0011 in slot 10696, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0012 in slot 10697, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0013 in slot 10698, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0014 in slot 10699, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0015 in slot 10700, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0016 in slot 10701, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0017 in slot 10702, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0018 in slot 10703, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0019 in slot 10704, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0020 in slot 10705, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0021 in slot 10706, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0022 in slot 10707, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0023 in slot 10708, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0024 in slot 10709, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0025 in slot 10710, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0026 in slot 10711, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0027 in slot 10712, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0028 in slot 10713, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0029 in slot 10714, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0030 in slot 10715, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0048 in slot 10716, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0049 in slot 10717, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0050 in slot 10718, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0051 in slot 10719, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0052 in slot 10720, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0053 in slot 10721, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0054 in slot 10722, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0055 in slot 10723, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0056 in slot 10724, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0057 in slot 10725, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0058 in slot 10726, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0059 in slot 10727, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0060 in slot 10728, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0061 in slot 10729, from untyped 2922...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0000 in slot 10730, from untyped 2922...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0001 in slot 10731, from untyped 2922...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0002 in slot 10732, from untyped 2922...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0003 in slot 10733, from untyped 2922...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0004 in slot 10734, from untyped 2922...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0005 in slot 10735, from untyped 2922...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0006 in slot 10736, from untyped 2922...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0007 in slot 10737, from untyped 2922...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0008 in slot 10738, from untyped 2922...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0009 in slot 10739, from untyped 2922...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0010 in slot 10740, from untyped 2922...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0011 in slot 10741, from untyped 2922...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0012 in slot 10742, from untyped 2922...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0013 in slot 10743, from untyped 2922...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0014 in slot 10744, from untyped 2922...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0015 in slot 10745, from untyped 2922...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0016 in slot 10746, from untyped 2922...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0017 in slot 10747, from untyped 2922...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0018 in slot 10748, from untyped 2922...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0019 in slot 10749, from untyped 2922...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0020 in slot 10750, from untyped 2922...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0021 in slot 10751, from untyped 2922...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0022 in slot 10752, from untyped 2922...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0023 in slot 10753, from untyped 2922...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0024 in slot 10754, from untyped 2922...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0025 in slot 10755, from untyped 2922...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0026 in slot 10756, from untyped 2922...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0027 in slot 10757, from untyped 2922...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0028 in slot 10758, from untyped 2922...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0029 in slot 10759, from untyped 2922...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0030 in slot 10760, from untyped 2922...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0056 in slot 10761, from untyped 2922...
- create_objects@main.c:792 Creating object fserv_group_bin_pd in slot 10762, from untyped 2922...
- create_objects@main.c:792 Creating object vm0_group_bin_pd in slot 10763, from untyped 2922...
- create_objects@main.c:792 Creating object dtb_symbol_vm0_0_obj in slot 10764, from untyped 2922...
- create_objects@main.c:792 Creating object dtb_symbol_vm0_10_obj in slot 10765, from untyped 2922...
- create_objects@main.c:792 Creating object dtb_symbol_vm0_11_obj in slot 10766, from untyped 2922...
- create_objects@main.c:792 Creating object dtb_symbol_vm0_12_obj in slot 10767, from untyped 2922...
- create_objects@main.c:792 Creating object dtb_symbol_vm0_13_obj in slot 10768, from untyped 2922...
- create_objects@main.c:792 Creating object dtb_symbol_vm0_14_obj in slot 10769, from untyped 2922...
- create_objects@main.c:792 Creating object dtb_symbol_vm0_15_obj in slot 10770, from untyped 2922...
- create_objects@main.c:792 Creating object dtb_symbol_vm0_1_obj in slot 10771, from untyped 2922...
- create_objects@main.c:792 Creating object dtb_symbol_vm0_2_obj in slot 10772, from untyped 2922...
- create_objects@main.c:792 Creating object dtb_symbol_vm0_3_obj in slot 10773, from untyped 2922...
- create_objects@main.c:792 Creating object dtb_symbol_vm0_4_obj in slot 10774, from untyped 2922...
- create_objects@main.c:792 Creating object dtb_symbol_vm0_5_obj in slot 10775, from untyped 2922...
- create_objects@main.c:792 Creating object dtb_symbol_vm0_6_obj in slot 10776, from untyped 2922...
- create_objects@main.c:792 Creating object dtb_symbol_vm0_7_obj in slot 10777, from untyped 2922...
- create_objects@main.c:792 Creating object dtb_symbol_vm0_8_obj in slot 10778, from untyped 2922...
- create_objects@main.c:792 Creating object dtb_symbol_vm0_9_obj in slot 10779, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0062 in slot 10780, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0063 in slot 10781, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0064 in slot 10782, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0065 in slot 10783, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0066 in slot 10784, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0067 in slot 10785, from untyped 2922...
- create_objects@main.c:792 Creating object frame_fserv_group_bin_0068 in slot 10786, from untyped 2922...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0057 in slot 10787, from untyped 2922...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0058 in slot 10788, from untyped 2922...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0059 in slot 10789, from untyped 2922...
- create_objects@main.c:792 Creating object frame_vm0_group_bin_0060 in slot 10790, from untyped 2922...
- create_objects@main.c:792 Creating object fs0_1_data_0_obj in slot 10791, from untyped 2922...
- create_objects@main.c:792 Creating object fserv_frame__camkes_ipc_buffer_fserv_0_control in slot 10792, from untyped 2922...
- create_objects@main.c:792 Creating object fserv_frame__camkes_ipc_buffer_fserv_0_fault_handler in slot 10793, from untyped 2922...
- create_objects@main.c:792 Creating object fserv_frame__camkes_ipc_buffer_fserv_fs_ctrl_0000 in slot 10794, from untyped 2922...
- create_objects@main.c:792 Creating object pt_fserv_group_bin_0000 in slot 10795, from untyped 2922...
- create_objects@main.c:792 Creating object pt_fserv_group_bin_0049 in slot 10796, from untyped 2922...
- create_objects@main.c:792 Creating object pt_vm0_group_bin_0000 in slot 10797, from untyped 2922...
- create_objects@main.c:792 Creating object pt_vm0_group_bin_0057 in slot 10798, from untyped 2922...
- create_objects@main.c:792 Creating object stack__camkes_stack_fserv_0_control_0_fserv_obj in slot 10799, from untyped 2922...
- create_objects@main.c:792 Creating object stack__camkes_stack_fserv_0_control_1_fserv_obj in slot 10800, from untyped 2922...
- create_objects@main.c:792 Creating object stack__camkes_stack_fserv_0_control_2_fserv_obj in slot 10801, from untyped 2922...
- create_objects@main.c:792 Creating object stack__camkes_stack_fserv_0_control_3_fserv_obj in slot 10802, from untyped 2922...
- create_objects@main.c:792 Creating object stack__camkes_stack_fserv_0_fault_handler_0_fserv_obj in slot 10803, from untyped 2922...
- create_objects@main.c:792 Creating object stack__camkes_stack_fserv_0_fault_handler_1_fserv_obj in slot 10804, from untyped 2922...
- create_objects@main.c:792 Creating object stack__camkes_stack_fserv_0_fault_handler_2_fserv_obj in slot 10805, from untyped 2922...
- create_objects@main.c:792 Creating object stack__camkes_stack_fserv_0_fault_handler_3_fserv_obj in slot 10806, from untyped 2922...
- create_objects@main.c:792 Creating object stack__camkes_stack_fserv_fs_ctrl_0000_0_fserv_obj in slot 10807, from untyped 2922...
- create_objects@main.c:792 Creating object stack__camkes_stack_fserv_fs_ctrl_0000_1_fserv_obj in slot 10808, from untyped 2922...
- create_objects@main.c:792 Creating object stack__camkes_stack_fserv_fs_ctrl_0000_2_fserv_obj in slot 10809, from untyped 2922...
- create_objects@main.c:792 Creating object stack__camkes_stack_fserv_fs_ctrl_0000_3_fserv_obj in slot 10810, from untyped 2922...
- create_objects@main.c:792 Creating object stack__camkes_stack_vm0_0_control_0_vm0_obj in slot 10811, from untyped 2922...
- create_objects@main.c:792 Creating object stack__camkes_stack_vm0_0_control_1_vm0_obj in slot 10812, from untyped 2922...
- create_objects@main.c:792 Creating object stack__camkes_stack_vm0_0_control_2_vm0_obj in slot 10813, from untyped 2922...
- create_objects@main.c:792 Creating object stack__camkes_stack_vm0_0_control_3_vm0_obj in slot 10814, from untyped 2922...
- create_objects@main.c:792 Creating object stack__camkes_stack_vm0_0_fault_handler_0_vm0_obj in slot 10815, from untyped 2922...
- create_objects@main.c:792 Creating object stack__camkes_stack_vm0_0_fault_handler_1_vm0_obj in slot 10816, from untyped 2922...
- create_objects@main.c:792 Creating object stack__camkes_stack_vm0_0_fault_handler_2_vm0_obj in slot 10817, from untyped 2922...
- create_objects@main.c:792 Creating object stack__camkes_stack_vm0_0_fault_handler_3_vm0_obj in slot 10818, from untyped 2922...
- create_objects@main.c:792 Creating object stack__camkes_stack_vm0_dtb_0000_0_vm0_obj in slot 10819, from untyped 2922...
- create_objects@main.c:792 Creating object stack__camkes_stack_vm0_dtb_0000_1_vm0_obj in slot 10820, from untyped 2922...
- create_objects@main.c:792 Creating object stack__camkes_stack_vm0_dtb_0000_2_vm0_obj in slot 10821, from untyped 2922...
- create_objects@main.c:792 Creating object stack__camkes_stack_vm0_dtb_0000_3_vm0_obj in slot 10822, from untyped 2922...
- create_objects@main.c:792 Creating object vm0_asid_pool in slot 10823, from untyped 2922...
- create_objects@main.c:792 Creating object vm0_frame__camkes_ipc_buffer_vm0_0_control in slot 10824, from untyped 2922...
- create_objects@main.c:792 Creating object vm0_frame__camkes_ipc_buffer_vm0_0_fault_handler in slot 10825, from untyped 2922...
- create_objects@main.c:792 Creating object vm0_frame__camkes_ipc_buffer_vm0_dtb_0000 in slot 10826, from untyped 2922...
- create_objects@main.c:792 Creating object fserv_fserv_0_control_tcb in slot 10827, from untyped 2922...
- create_objects@main.c:792 Creating object fserv_fserv_0_fault_handler_tcb in slot 10828, from untyped 2922...
- create_objects@main.c:792 Creating object fserv_fserv_fs_ctrl_0000_tcb in slot 10829, from untyped 2922...
- create_objects@main.c:792 Creating object vm0_vm0_0_control_tcb in slot 10830, from untyped 2922...
- create_objects@main.c:792 Creating object vm0_vm0_0_fault_handler_tcb in slot 10831, from untyped 2922...
- create_objects@main.c:792 Creating object vm0_vm0_dtb_0000_tcb in slot 10832, from untyped 2922...
- create_objects@main.c:792 Creating object fserv_cnode in slot 10833, from untyped 2922...
- create_object@main.c:640 [Cond failed: CDL_Obj_Type(obj) == CDL_CNode]
- (CNode of size 4 bits)
- create_objects@main.c:792 Creating object fs0_ep in slot 10834, from untyped 2922...
- create_objects@main.c:792 Creating object fserv_fault_ep in slot 10835, from untyped 2922...
- create_objects@main.c:792 Creating object fserv_interface_init_ep in slot 10836, from untyped 2922...
- create_objects@main.c:792 Creating object fserv_post_init_ep in slot 10837, from untyped 2922...
- create_objects@main.c:792 Creating object fserv_pre_init_ep in slot 10838, from untyped 2922...
- create_objects@main.c:792 Creating object notify_ready_vm0_vm0_global_endpoint in slot 10839, from untyped 2922...
- create_objects@main.c:792 Creating object vm0_fault_ep in slot 10840, from untyped 2922...
- create_objects@main.c:792 Creating object vm0_interface_init_ep in slot 10841, from untyped 2922...
- create_objects@main.c:792 Creating object vm0_irq_notification_obj in slot 10842, from untyped 2922...
- create_objects@main.c:792 Creating object vm0_post_init_ep in slot 10843, from untyped 2922...
- create_objects@main.c:792 Creating object vm0_pre_init_ep in slot 10844, from untyped 2922...
- create_objects@main.c:792 Creating object vm0_vm_sem in slot 10845, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_103 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_104 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_105 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_107 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_108 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_109 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_110 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_117 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_118 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_138 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_142 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_201 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_215 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_216 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_217 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_218 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_220 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_32 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_33 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_34 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_35 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_36 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_37 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_38 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_39 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_40 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_41 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_42 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_43 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_44 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_45 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_46 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_47 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_48 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_49 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_50 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_51 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_52 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_53 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_54 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_55 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_56 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_57 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_58 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_59 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_60 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_61 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_62 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_63 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_65 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_66 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_67 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_68 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_69 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_70 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_71 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_72 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_74 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_75 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_76 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_77 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_79 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_82 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_83 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_84 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_85 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_86 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_88 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_89 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_90 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_91 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_92 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_93 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_94 in slot 10846, from untyped 2922...
- create_objects@main.c:792 Creating object vm_dtb_dtb_irq_97 in slot 10846, from untyped 2922...
- create_objects@main.c:823 Creating ASID pools...
- create_irq_caps@main.c:886 Creating irq handler caps...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 32...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 33...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 34...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 35...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 36...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 37...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 38...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 39...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 40...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 41...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 42...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 43...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 44...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 45...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 46...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 47...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 48...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 49...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 50...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 51...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 52...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 53...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 54...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 55...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 56...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 57...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 58...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 59...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 60...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 61...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 62...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 63...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 65...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 66...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 67...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 68...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 69...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 70...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 71...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 72...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 74...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 75...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 76...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 77...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 79...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 82...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 83...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 84...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 85...
- Undelivered IRQ: 85
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 86...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 88...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 89...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 90...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 91...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 92...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 93...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 94...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 97...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 103...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 104...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 105...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 107...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 108...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 109...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 110...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 117...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 118...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 138...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 142...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 201...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 215...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 216...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 217...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 218...
- create_irq_caps@main.c:892 Creating irq handler cap for IRQ 220...
- duplicate_caps@main.c:941 Duplicating CNodes...
- duplicate_caps@main.c:944 Duplicating vm0_cnode...
- duplicate_caps@main.c:944 Duplicating fserv_fserv_0_control_tcb...
- duplicate_caps@main.c:944 Duplicating fserv_fserv_0_fault_handler_tcb...
- duplicate_caps@main.c:944 Duplicating fserv_fserv_fs_ctrl_0000_tcb...
- duplicate_caps@main.c:944 Duplicating vm0_vm0_0_control_tcb...
- duplicate_caps@main.c:944 Duplicating vm0_vm0_0_fault_handler_tcb...
- duplicate_caps@main.c:944 Duplicating vm0_vm0_dtb_0000_tcb...
- duplicate_caps@main.c:944 Duplicating fserv_cnode...
- init_irqs@main.c:1320 Initialising IRQ handler caps...
- init_irqs@main.c:1324 Initialising handler for IRQ 32...
- init_irqs@main.c:1324 Initialising handler for IRQ 33...
- init_irqs@main.c:1324 Initialising handler for IRQ 34...
- init_irqs@main.c:1324 Initialising handler for IRQ 35...
- init_irqs@main.c:1324 Initialising handler for IRQ 36...
- init_irqs@main.c:1324 Initialising handler for IRQ 37...
- init_irqs@main.c:1324 Initialising handler for IRQ 38...
- init_irqs@main.c:1324 Initialising handler for IRQ 39...
- init_irqs@main.c:1324 Initialising handler for IRQ 40...
- init_irqs@main.c:1324 Initialising handler for IRQ 41...
- init_irqs@main.c:1324 Initialising handler for IRQ 42...
- init_irqs@main.c:1324 Initialising handler for IRQ 43...
- init_irqs@main.c:1324 Initialising handler for IRQ 44...
- init_irqs@main.c:1324 Initialising handler for IRQ 45...
- init_irqs@main.c:1324 Initialising handler for IRQ 46...
- init_irqs@main.c:1324 Initialising handler for IRQ 47...
- init_irqs@main.c:1324 Initialising handler for IRQ 48...
- init_irqs@main.c:1324 Initialising handler for IRQ 49...
- init_irqs@main.c:1324 Initialising handler for IRQ 50...
- init_irqs@main.c:1324 Initialising handler for IRQ 51...
- init_irqs@main.c:1324 Initialising handler for IRQ 52...
- init_irqs@main.c:1324 Initialising handler for IRQ 53...
- init_irqs@main.c:1324 Initialising handler for IRQ 54...
- init_irqs@main.c:1324 Initialising handler for IRQ 55...
- init_irqs@main.c:1324 Initialising handler for IRQ 56...
- init_irqs@main.c:1324 Initialising handler for IRQ 57...
- init_irqs@main.c:1324 Initialising handler for IRQ 58...
- init_irqs@main.c:1324 Initialising handler for IRQ 59...
- init_irqs@main.c:1324 Initialising handler for IRQ 60...
- init_irqs@main.c:1324 Initialising handler for IRQ 61...
- init_irqs@main.c:1324 Initialising handler for IRQ 62...
- init_irqs@main.c:1324 Initialising handler for IRQ 63...
- init_irqs@main.c:1324 Initialising handler for IRQ 65...
- init_irqs@main.c:1324 Initialising handler for IRQ 66...
- init_irqs@main.c:1324 Initialising handler for IRQ 67...
- init_irqs@main.c:1324 Initialising handler for IRQ 68...
- init_irqs@main.c:1324 Initialising handler for IRQ 69...
- init_irqs@main.c:1324 Initialising handler for IRQ 70...
- init_irqs@main.c:1324 Initialising handler for IRQ 71...
- init_irqs@main.c:1324 Initialising handler for IRQ 72...
- init_irqs@main.c:1324 Initialising handler for IRQ 74...
- init_irqs@main.c:1324 Initialising handler for IRQ 75...
- init_irqs@main.c:1324 Initialising handler for IRQ 76...
- init_irqs@main.c:1324 Initialising handler for IRQ 77...
- init_irqs@main.c:1324 Initialising handler for IRQ 79...
- init_irqs@main.c:1324 Initialising handler for IRQ 82...
- init_irqs@main.c:1324 Initialising handler for IRQ 83...
- init_irqs@main.c:1324 Initialising handler for IRQ 84...
- init_irqs@main.c:1324 Initialising handler for IRQ 85...
- init_irqs@main.c:1324 Initialising handler for IRQ 86...
- init_irqs@main.c:1324 Initialising handler for IRQ 88...
- init_irqs@main.c:1324 Initialising handler for IRQ 89...
- init_irqs@main.c:1324 Initialising handler for IRQ 90...
- init_irqs@main.c:1324 Initialising handler for IRQ 91...
- init_irqs@main.c:1324 Initialising handler for IRQ 92...
- init_irqs@main.c:1324 Initialising handler for IRQ 93...
- init_irqs@main.c:1324 Initialising handler for IRQ 94...
- init_irqs@main.c:1324 Initialising handler for IRQ 97...
- init_irqs@main.c:1324 Initialising handler for IRQ 103...
- init_irqs@main.c:1324 Initialising handler for IRQ 104...
- init_irqs@main.c:1324 Initialising handler for IRQ 105...
- init_irqs@main.c:1324 Initialising handler for IRQ 107...
- init_irqs@main.c:1324 Initialising handler for IRQ 108...
- init_irqs@main.c:1324 Initialising handler for IRQ 109...
- init_irqs@main.c:1324 Initialising handler for IRQ 110...
- init_irqs@main.c:1324 Initialising handler for IRQ 117...
- init_irqs@main.c:1324 Initialising handler for IRQ 118...
- init_irqs@main.c:1324 Initialising handler for IRQ 138...
- init_irqs@main.c:1324 Initialising handler for IRQ 142...
- init_irqs@main.c:1324 Initialising handler for IRQ 201...
- init_irqs@main.c:1324 Initialising handler for IRQ 215...
- init_irqs@main.c:1324 Initialising handler for IRQ 216...
- init_irqs@main.c:1324 Initialising handler for IRQ 217...
- init_irqs@main.c:1324 Initialising handler for IRQ 218...
- init_irqs@main.c:1324 Initialising handler for IRQ 220...
- init_pd_asids@main.c:1340 Initialising Page Directory ASIDs...
- init_pd_asids@main.c:1346 Initialising pd/pml4 ASID fserv_group_bin_pd...
- init_pd_asids@main.c:1346 Initialising pd/pml4 ASID vm0_group_bin_pd...
- init_vspace@main.c:1596 Initialising VSpaces...
- init_vspace@main.c:1618 ================================
- init_vspace@main.c:1619 Initialising page directories...
- init_vspace@main.c:1623 Initialising page directory fserv_group_bin_pd...
- map_page_directory_slot@main.c:1534 Mapping slot 0 in fserv_group_bin_pd
- map_page@main.c:1373 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd with rights={G: 0, R: 0, W: 0}, vaddr=0x0, vm_attribs=0x0
- map_page_directory_slot@main.c:1534 Mapping slot 1 in fserv_group_bin_pd
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0031 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x200000, vm_attribs=0x3
- map_page_directory_slot@main.c:1534 Mapping slot 2 in fserv_group_bin_pd
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0032 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x400000, vm_attribs=0x3
- map_page_directory_slot@main.c:1534 Mapping slot 3 in fserv_group_bin_pd
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0033 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x600000, vm_attribs=0x3
- map_page_directory_slot@main.c:1534 Mapping slot 4 in fserv_group_bin_pd
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0034 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x800000, vm_attribs=0x3
- map_page_directory_slot@main.c:1534 Mapping slot 5 in fserv_group_bin_pd
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0035 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0xa00000, vm_attribs=0x3
- map_page_directory_slot@main.c:1534 Mapping slot 6 in fserv_group_bin_pd
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0036 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0xc00000, vm_attribs=0x3
- map_page_directory_slot@main.c:1534 Mapping slot 7 in fserv_group_bin_pd
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0037 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0xe00000, vm_attribs=0x3
- map_page_directory_slot@main.c:1534 Mapping slot 8 in fserv_group_bin_pd
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0038 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1000000, vm_attribs=0x3
- map_page_directory_slot@main.c:1534 Mapping slot 9 in fserv_group_bin_pd
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0039 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1200000, vm_attribs=0x3
- map_page_directory_slot@main.c:1534 Mapping slot 10 in fserv_group_bin_pd
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0040 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1400000, vm_attribs=0x3
- map_page_directory_slot@main.c:1534 Mapping slot 11 in fserv_group_bin_pd
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0041 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1600000, vm_attribs=0x3
- map_page_directory_slot@main.c:1534 Mapping slot 12 in fserv_group_bin_pd
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0042 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1800000, vm_attribs=0x3
- map_page_directory_slot@main.c:1534 Mapping slot 13 in fserv_group_bin_pd
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0043 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1a00000, vm_attribs=0x3
- map_page_directory_slot@main.c:1534 Mapping slot 14 in fserv_group_bin_pd
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0044 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1c00000, vm_attribs=0x3
- map_page_directory_slot@main.c:1534 Mapping slot 15 in fserv_group_bin_pd
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0045 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1e00000, vm_attribs=0x3
- map_page_directory_slot@main.c:1534 Mapping slot 16 in fserv_group_bin_pd
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0046 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2000000, vm_attribs=0x3
- map_page_directory_slot@main.c:1534 Mapping slot 17 in fserv_group_bin_pd
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0047 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2200000, vm_attribs=0x3
- map_page_directory_slot@main.c:1534 Mapping slot 18 in fserv_group_bin_pd
- map_page@main.c:1373 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd with rights={G: 0, R: 0, W: 0}, vaddr=0x2400000, vm_attribs=0x0
- init_vspace@main.c:1623 Initialising page directory vm0_group_bin_pd...
- map_page_directory_slot@main.c:1534 Mapping slot 0 in vm0_group_bin_pd
- map_page@main.c:1373 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd with rights={G: 0, R: 0, W: 0}, vaddr=0x0, vm_attribs=0x0
- map_page_directory_slot@main.c:1534 Mapping slot 1 in vm0_group_bin_pd
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0031 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x200000, vm_attribs=0x3
- map_page_directory_slot@main.c:1534 Mapping slot 2 in vm0_group_bin_pd
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0032 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x400000, vm_attribs=0x3
- map_page_directory_slot@main.c:1534 Mapping slot 3 in vm0_group_bin_pd
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0033 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x600000, vm_attribs=0x3
- map_page_directory_slot@main.c:1534 Mapping slot 4 in vm0_group_bin_pd
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0034 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x800000, vm_attribs=0x3
- map_page_directory_slot@main.c:1534 Mapping slot 5 in vm0_group_bin_pd
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0035 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0xa00000, vm_attribs=0x3
- map_page_directory_slot@main.c:1534 Mapping slot 6 in vm0_group_bin_pd
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0036 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0xc00000, vm_attribs=0x3
- map_page_directory_slot@main.c:1534 Mapping slot 7 in vm0_group_bin_pd
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0037 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0xe00000, vm_attribs=0x3
- map_page_directory_slot@main.c:1534 Mapping slot 8 in vm0_group_bin_pd
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0038 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1000000, vm_attribs=0x3
- map_page_directory_slot@main.c:1534 Mapping slot 9 in vm0_group_bin_pd
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0039 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1200000, vm_attribs=0x3
- map_page_directory_slot@main.c:1534 Mapping slot 10 in vm0_group_bin_pd
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0040 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1400000, vm_attribs=0x3
- map_page_directory_slot@main.c:1534 Mapping slot 11 in vm0_group_bin_pd
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0041 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1600000, vm_attribs=0x3
- map_page_directory_slot@main.c:1534 Mapping slot 12 in vm0_group_bin_pd
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0042 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1800000, vm_attribs=0x3
- map_page_directory_slot@main.c:1534 Mapping slot 13 in vm0_group_bin_pd
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0043 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1a00000, vm_attribs=0x3
- map_page_directory_slot@main.c:1534 Mapping slot 14 in vm0_group_bin_pd
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0044 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1c00000, vm_attribs=0x3
- map_page_directory_slot@main.c:1534 Mapping slot 15 in vm0_group_bin_pd
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0045 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1e00000, vm_attribs=0x3
- map_page_directory_slot@main.c:1534 Mapping slot 16 in vm0_group_bin_pd
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0046 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2000000, vm_attribs=0x3
- map_page_directory_slot@main.c:1534 Mapping slot 32 in vm0_group_bin_pd
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0047 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x4000000, vm_attribs=0x3
- map_page_directory_slot@main.c:1534 Mapping slot 33 in vm0_group_bin_pd
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0048 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x4200000, vm_attribs=0x3
- map_page_directory_slot@main.c:1534 Mapping slot 34 in vm0_group_bin_pd
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0049 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x4400000, vm_attribs=0x3
- map_page_directory_slot@main.c:1534 Mapping slot 35 in vm0_group_bin_pd
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0050 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x4600000, vm_attribs=0x3
- map_page_directory_slot@main.c:1534 Mapping slot 36 in vm0_group_bin_pd
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0051 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x4800000, vm_attribs=0x3
- map_page_directory_slot@main.c:1534 Mapping slot 37 in vm0_group_bin_pd
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0052 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x4a00000, vm_attribs=0x3
- map_page_directory_slot@main.c:1534 Mapping slot 38 in vm0_group_bin_pd
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0053 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x4c00000, vm_attribs=0x3
- map_page_directory_slot@main.c:1534 Mapping slot 39 in vm0_group_bin_pd
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0054 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x4e00000, vm_attribs=0x3
- map_page_directory_slot@main.c:1534 Mapping slot 40 in vm0_group_bin_pd
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0055 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x5000000, vm_attribs=0x3
- map_page_directory_slot@main.c:1534 Mapping slot 41 in vm0_group_bin_pd
- map_page@main.c:1373 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd with rights={G: 0, R: 0, W: 0}, vaddr=0x5200000, vm_attribs=0x0
- init_vspace@main.c:1628 ===========================
- init_vspace@main.c:1629 Initialising page tables...
- init_vspace@main.c:1632 Initialising page tables in fserv_group_bin_pd...
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[16] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0000 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x10000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[32] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0001 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x20000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[48] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0002 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x30000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[64] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0003 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x40000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[80] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0004 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x50000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[96] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0005 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x60000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[112] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0006 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x70000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[128] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0007 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x80000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[144] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0008 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x90000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[160] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0009 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0xa0000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[176] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0010 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0xb0000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[192] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0011 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0xc0000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[208] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0012 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0xd0000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[224] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0013 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0xe0000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[240] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0014 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0xf0000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[256] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0015 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x100000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[272] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0016 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x110000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[288] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0017 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x120000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[304] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0018 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x130000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[320] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0019 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x140000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[336] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0020 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x150000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[352] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0021 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x160000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[368] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0022 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x170000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[384] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0023 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x180000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[400] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0024 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x190000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[416] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0025 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1a0000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[432] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0026 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1b0000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[448] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0027 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1c0000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[464] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0028 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1d0000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[480] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0029 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1e0000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[496] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0030 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1f0000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[0] with rights={G: 1, R: 1, W: 1}, vaddr=0x2400000
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0048 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2400000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[16] with rights={G: 1, R: 1, W: 1}, vaddr=0x2400000
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0049 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2410000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[32] with rights={G: 1, R: 1, W: 1}, vaddr=0x2400000
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0050 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2420000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[48] with rights={G: 1, R: 1, W: 1}, vaddr=0x2400000
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0051 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2430000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[64] with rights={G: 1, R: 1, W: 1}, vaddr=0x2400000
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0052 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2440000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[80] with rights={G: 1, R: 1, W: 1}, vaddr=0x2400000
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0053 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2450000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[96] with rights={G: 1, R: 1, W: 1}, vaddr=0x2400000
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0054 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2460000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[112] with rights={G: 1, R: 1, W: 1}, vaddr=0x2400000
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0055 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2470000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[128] with rights={G: 1, R: 1, W: 1}, vaddr=0x2400000
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0056 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2480000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[144] with rights={G: 1, R: 1, W: 1}, vaddr=0x2400000
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0057 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2490000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[160] with rights={G: 1, R: 1, W: 1}, vaddr=0x2400000
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0058 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x24a0000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[176] with rights={G: 1, R: 1, W: 1}, vaddr=0x2400000
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0059 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x24b0000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[192] with rights={G: 1, R: 1, W: 1}, vaddr=0x2400000
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0060 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x24c0000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[208] with rights={G: 1, R: 1, W: 1}, vaddr=0x2400000
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0061 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x24d0000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[224] with rights={G: 1, R: 1, W: 1}, vaddr=0x2400000
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0062 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x24e0000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[225] with rights={G: 1, R: 1, W: 1}, vaddr=0x2400000
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0063 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x24e1000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[226] with rights={G: 1, R: 1, W: 1}, vaddr=0x2400000
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0064 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x24e2000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[227] with rights={G: 1, R: 1, W: 1}, vaddr=0x2400000
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0065 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x24e3000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[228] with rights={G: 1, R: 1, W: 1}, vaddr=0x2400000
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0066 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x24e4000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[229] with rights={G: 1, R: 1, W: 1}, vaddr=0x2400000
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0067 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x24e5000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[230] with rights={G: 1, R: 1, W: 1}, vaddr=0x2400000
- map_page@main.c:1373 Mapping frame_fserv_group_bin_0068 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x24e6000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[232] with rights={G: 0, R: 1, W: 1}, vaddr=0x2400000
- map_page@main.c:1373 Mapping stack__camkes_stack_fserv_0_control_0_fserv_obj into fserv_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x24e8000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[233] with rights={G: 0, R: 1, W: 1}, vaddr=0x2400000
- map_page@main.c:1373 Mapping stack__camkes_stack_fserv_0_control_1_fserv_obj into fserv_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x24e9000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[234] with rights={G: 0, R: 1, W: 1}, vaddr=0x2400000
- map_page@main.c:1373 Mapping stack__camkes_stack_fserv_0_control_2_fserv_obj into fserv_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x24ea000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[235] with rights={G: 0, R: 1, W: 1}, vaddr=0x2400000
- map_page@main.c:1373 Mapping stack__camkes_stack_fserv_0_control_3_fserv_obj into fserv_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x24eb000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[238] with rights={G: 0, R: 1, W: 1}, vaddr=0x2400000
- map_page@main.c:1373 Mapping fserv_frame__camkes_ipc_buffer_fserv_0_control into fserv_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x24ee000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[241] with rights={G: 0, R: 1, W: 1}, vaddr=0x2400000
- map_page@main.c:1373 Mapping stack__camkes_stack_fserv_fs_ctrl_0000_0_fserv_obj into fserv_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x24f1000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[242] with rights={G: 0, R: 1, W: 1}, vaddr=0x2400000
- map_page@main.c:1373 Mapping stack__camkes_stack_fserv_fs_ctrl_0000_1_fserv_obj into fserv_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x24f2000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[243] with rights={G: 0, R: 1, W: 1}, vaddr=0x2400000
- map_page@main.c:1373 Mapping stack__camkes_stack_fserv_fs_ctrl_0000_2_fserv_obj into fserv_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x24f3000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[244] with rights={G: 0, R: 1, W: 1}, vaddr=0x2400000
- map_page@main.c:1373 Mapping stack__camkes_stack_fserv_fs_ctrl_0000_3_fserv_obj into fserv_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x24f4000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[247] with rights={G: 0, R: 1, W: 1}, vaddr=0x2400000
- map_page@main.c:1373 Mapping fserv_frame__camkes_ipc_buffer_fserv_fs_ctrl_0000 into fserv_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x24f7000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[250] with rights={G: 0, R: 1, W: 1}, vaddr=0x2400000
- map_page@main.c:1373 Mapping stack__camkes_stack_fserv_0_fault_handler_0_fserv_obj into fserv_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x24fa000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[251] with rights={G: 0, R: 1, W: 1}, vaddr=0x2400000
- map_page@main.c:1373 Mapping stack__camkes_stack_fserv_0_fault_handler_1_fserv_obj into fserv_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x24fb000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[252] with rights={G: 0, R: 1, W: 1}, vaddr=0x2400000
- map_page@main.c:1373 Mapping stack__camkes_stack_fserv_0_fault_handler_2_fserv_obj into fserv_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x24fc000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[253] with rights={G: 0, R: 1, W: 1}, vaddr=0x2400000
- map_page@main.c:1373 Mapping stack__camkes_stack_fserv_0_fault_handler_3_fserv_obj into fserv_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x24fd000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[256] with rights={G: 0, R: 1, W: 1}, vaddr=0x2400000
- map_page@main.c:1373 Mapping fserv_frame__camkes_ipc_buffer_fserv_0_fault_handler into fserv_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x2500000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[258] with rights={G: 1, R: 1, W: 1}, vaddr=0x2400000
- map_page@main.c:1373 Mapping fs0_1_data_0_obj into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2502000, vm_attribs=0x3
- init_vspace@main.c:1632 Initialising page tables in vm0_group_bin_pd...
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[16] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0000 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x10000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[32] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0001 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x20000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[48] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0002 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x30000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[64] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0003 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x40000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[80] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0004 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x50000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[96] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0005 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x60000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[112] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0006 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x70000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[128] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0007 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x80000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[144] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0008 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x90000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[160] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0009 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0xa0000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[176] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0010 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0xb0000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[192] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0011 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0xc0000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[208] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0012 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0xd0000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[224] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0013 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0xe0000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[240] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0014 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0xf0000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[256] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0015 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x100000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[272] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0016 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x110000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[288] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0017 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x120000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[304] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0018 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x130000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[320] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0019 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x140000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[336] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0020 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x150000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[352] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0021 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x160000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[368] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0022 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x170000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[384] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0023 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x180000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[400] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0024 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x190000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[416] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0025 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1a0000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[432] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0026 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1b0000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[448] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0027 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1c0000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[464] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0028 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1d0000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[480] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0029 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1e0000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[496] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0030 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1f0000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[0] with rights={G: 1, R: 1, W: 1}, vaddr=0x5200000
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0056 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x5200000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[16] with rights={G: 1, R: 1, W: 1}, vaddr=0x5200000
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0057 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x5210000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[17] with rights={G: 1, R: 1, W: 1}, vaddr=0x5200000
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0058 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x5211000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[18] with rights={G: 1, R: 1, W: 1}, vaddr=0x5200000
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0059 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x5212000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[19] with rights={G: 1, R: 1, W: 1}, vaddr=0x5200000
- map_page@main.c:1373 Mapping frame_vm0_group_bin_0060 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x5213000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[20] with rights={G: 0, R: 1, W: 0}, vaddr=0x5200000
- map_page@main.c:1373 Mapping dtb_symbol_vm0_0_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 0}, vaddr=0x5214000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[21] with rights={G: 0, R: 1, W: 0}, vaddr=0x5200000
- map_page@main.c:1373 Mapping dtb_symbol_vm0_1_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 0}, vaddr=0x5215000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[22] with rights={G: 0, R: 1, W: 0}, vaddr=0x5200000
- map_page@main.c:1373 Mapping dtb_symbol_vm0_2_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 0}, vaddr=0x5216000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[23] with rights={G: 0, R: 1, W: 0}, vaddr=0x5200000
- map_page@main.c:1373 Mapping dtb_symbol_vm0_3_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 0}, vaddr=0x5217000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[24] with rights={G: 0, R: 1, W: 0}, vaddr=0x5200000
- map_page@main.c:1373 Mapping dtb_symbol_vm0_4_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 0}, vaddr=0x5218000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[25] with rights={G: 0, R: 1, W: 0}, vaddr=0x5200000
- map_page@main.c:1373 Mapping dtb_symbol_vm0_5_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 0}, vaddr=0x5219000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[26] with rights={G: 0, R: 1, W: 0}, vaddr=0x5200000
- map_page@main.c:1373 Mapping dtb_symbol_vm0_6_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 0}, vaddr=0x521a000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[27] with rights={G: 0, R: 1, W: 0}, vaddr=0x5200000
- map_page@main.c:1373 Mapping dtb_symbol_vm0_7_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 0}, vaddr=0x521b000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[28] with rights={G: 0, R: 1, W: 0}, vaddr=0x5200000
- map_page@main.c:1373 Mapping dtb_symbol_vm0_8_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 0}, vaddr=0x521c000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[29] with rights={G: 0, R: 1, W: 0}, vaddr=0x5200000
- map_page@main.c:1373 Mapping dtb_symbol_vm0_9_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 0}, vaddr=0x521d000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[30] with rights={G: 0, R: 1, W: 0}, vaddr=0x5200000
- map_page@main.c:1373 Mapping dtb_symbol_vm0_10_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 0}, vaddr=0x521e000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[31] with rights={G: 0, R: 1, W: 0}, vaddr=0x5200000
- map_page@main.c:1373 Mapping dtb_symbol_vm0_11_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 0}, vaddr=0x521f000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[32] with rights={G: 0, R: 1, W: 0}, vaddr=0x5200000
- map_page@main.c:1373 Mapping dtb_symbol_vm0_12_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 0}, vaddr=0x5220000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[33] with rights={G: 0, R: 1, W: 0}, vaddr=0x5200000
- map_page@main.c:1373 Mapping dtb_symbol_vm0_13_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 0}, vaddr=0x5221000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[34] with rights={G: 0, R: 1, W: 0}, vaddr=0x5200000
- map_page@main.c:1373 Mapping dtb_symbol_vm0_14_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 0}, vaddr=0x5222000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[35] with rights={G: 0, R: 1, W: 0}, vaddr=0x5200000
- map_page@main.c:1373 Mapping dtb_symbol_vm0_15_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 0}, vaddr=0x5223000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[37] with rights={G: 0, R: 1, W: 1}, vaddr=0x5200000
- map_page@main.c:1373 Mapping stack__camkes_stack_vm0_0_control_0_vm0_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x5225000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[38] with rights={G: 0, R: 1, W: 1}, vaddr=0x5200000
- map_page@main.c:1373 Mapping stack__camkes_stack_vm0_0_control_1_vm0_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x5226000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[39] with rights={G: 0, R: 1, W: 1}, vaddr=0x5200000
- map_page@main.c:1373 Mapping stack__camkes_stack_vm0_0_control_2_vm0_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x5227000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[40] with rights={G: 0, R: 1, W: 1}, vaddr=0x5200000
- map_page@main.c:1373 Mapping stack__camkes_stack_vm0_0_control_3_vm0_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x5228000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[43] with rights={G: 0, R: 1, W: 1}, vaddr=0x5200000
- map_page@main.c:1373 Mapping vm0_frame__camkes_ipc_buffer_vm0_0_control into vm0_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x522b000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[46] with rights={G: 0, R: 1, W: 1}, vaddr=0x5200000
- map_page@main.c:1373 Mapping stack__camkes_stack_vm0_dtb_0000_0_vm0_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x522e000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[47] with rights={G: 0, R: 1, W: 1}, vaddr=0x5200000
- map_page@main.c:1373 Mapping stack__camkes_stack_vm0_dtb_0000_1_vm0_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x522f000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[48] with rights={G: 0, R: 1, W: 1}, vaddr=0x5200000
- map_page@main.c:1373 Mapping stack__camkes_stack_vm0_dtb_0000_2_vm0_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x5230000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[49] with rights={G: 0, R: 1, W: 1}, vaddr=0x5200000
- map_page@main.c:1373 Mapping stack__camkes_stack_vm0_dtb_0000_3_vm0_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x5231000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[52] with rights={G: 0, R: 1, W: 1}, vaddr=0x5200000
- map_page@main.c:1373 Mapping vm0_frame__camkes_ipc_buffer_vm0_dtb_0000 into vm0_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x5234000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[55] with rights={G: 0, R: 1, W: 1}, vaddr=0x5200000
- map_page@main.c:1373 Mapping stack__camkes_stack_vm0_0_fault_handler_0_vm0_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x5237000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[56] with rights={G: 0, R: 1, W: 1}, vaddr=0x5200000
- map_page@main.c:1373 Mapping stack__camkes_stack_vm0_0_fault_handler_1_vm0_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x5238000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[57] with rights={G: 0, R: 1, W: 1}, vaddr=0x5200000
- map_page@main.c:1373 Mapping stack__camkes_stack_vm0_0_fault_handler_2_vm0_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x5239000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[58] with rights={G: 0, R: 1, W: 1}, vaddr=0x5200000
- map_page@main.c:1373 Mapping stack__camkes_stack_vm0_0_fault_handler_3_vm0_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x523a000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[61] with rights={G: 0, R: 1, W: 1}, vaddr=0x5200000
- map_page@main.c:1373 Mapping vm0_frame__camkes_ipc_buffer_vm0_0_fault_handler into vm0_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x523d000, vm_attribs=0x3
- map_page_table_slot@main.c:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[63] with rights={G: 1, R: 1, W: 1}, vaddr=0x5200000
- map_page@main.c:1373 Mapping fs0_1_data_0_obj into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x523f000, vm_attribs=0x3
- init_scs@main.c:1947 Initialising SCs
- init_tcbs@main.c:1273 Initialising TCBs...
- init_tcbs@main.c:1276 Initialising fserv_fserv_0_control_tcb...
- init_tcbs@main.c:1279 Configuring fserv_fserv_0_control_tcb...
- configure_tcb@main.c:1247 Setting up _start(
- configure_tcb@main.c:1249 0x1
- configure_tcb@main.c:1254 )...
- configure_tcb@main.c:1255 pc = 0x1901c
- configure_tcb@main.c:1256 sp = 0x24ec000
- configure_tcb@main.c:1266 Assigning thread to domain 0...
- init_tcbs@main.c:1276 Initialising fserv_fserv_0_fault_handler_tcb...
- init_tcbs@main.c:1279 Configuring fserv_fserv_0_fault_handler_tcb...
- configure_tcb@main.c:1247 Setting up _start(
- configure_tcb@main.c:1249 0x5
- configure_tcb@main.c:1254 )...
- configure_tcb@main.c:1255 pc = 0x1901c
- configure_tcb@main.c:1256 sp = 0x24fe000
- configure_tcb@main.c:1266 Assigning thread to domain 0...
- init_tcbs@main.c:1276 Initialising fserv_fserv_fs_ctrl_0000_tcb...
- init_tcbs@main.c:1279 Configuring fserv_fserv_fs_ctrl_0000_tcb...
- configure_tcb@main.c:1247 Setting up _start(
- configure_tcb@main.c:1249 0x3
- configure_tcb@main.c:1254 )...
- configure_tcb@main.c:1255 pc = 0x1901c
- configure_tcb@main.c:1256 sp = 0x24f5000
- configure_tcb@main.c:1266 Assigning thread to domain 0...
- init_tcbs@main.c:1276 Initialising vm0_vm0_0_control_tcb...
- init_tcbs@main.c:1279 Configuring vm0_vm0_0_control_tcb...
- configure_tcb@main.c:1247 Setting up _start(
- configure_tcb@main.c:1249 0x2
- configure_tcb@main.c:1254 )...
- configure_tcb@main.c:1255 pc = 0x25320
- configure_tcb@main.c:1256 sp = 0x5229000
- configure_tcb@main.c:1266 Assigning thread to domain 0...
- init_tcbs@main.c:1276 Initialising vm0_vm0_0_fault_handler_tcb...
- init_tcbs@main.c:1279 Configuring vm0_vm0_0_fault_handler_tcb...
- configure_tcb@main.c:1247 Setting up _start(
- configure_tcb@main.c:1249 0x6
- configure_tcb@main.c:1254 )...
- configure_tcb@main.c:1255 pc = 0x25320
- configure_tcb@main.c:1256 sp = 0x523b000
- configure_tcb@main.c:1266 Assigning thread to domain 0...
- init_tcbs@main.c:1276 Initialising vm0_vm0_dtb_0000_tcb...
- init_tcbs@main.c:1279 Configuring vm0_vm0_dtb_0000_tcb...
- configure_tcb@main.c:1247 Setting up _start(
- configure_tcb@main.c:1249 0x4
- configure_tcb@main.c:1254 )...
- configure_tcb@main.c:1255 pc = 0x25320
- configure_tcb@main.c:1256 sp = 0x5232000
- configure_tcb@main.c:1266 Assigning thread to domain 0...
- init_cspace@main.c:1791 Copying Caps...
- init_cspace@main.c:1794 Copying into vm0_cnode...
- init_cnode@main.c:1783 Populating slot 1 with cap to vm0_vm_sem...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 2 with cap to vm0_vm0_0_control_tcb...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 3 with cap to vm0_fault_ep...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0x2)...
- init_cnode@main.c:1783 Populating slot 4 with cap to vm0_vm0_dtb_0000_tcb...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 5 with cap to vm0_fault_ep...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0x4)...
- init_cnode@main.c:1783 Populating slot 6 with cap to vm0_vm0_0_fault_handler_tcb...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 7 with cap to vm0_fault_ep...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 8 with cap to vm0_pre_init_ep...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 9 with cap to vm0_interface_init_ep...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 10 with cap to vm0_post_init_ep...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 11 with cap to fs0_ep...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0x1)...
- init_cnode@main.c:1783 Populating slot 12 with cap to notify_ready_vm0_vm0_global_endpoint...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0x8000002)...
- init_cnode@main.c:1783 Populating slot 13 with cap to notify_ready_vm0_vm0_global_endpoint...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 14 with cap to vm_dtb_dtb_untyped_cap_0x2073000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 15 with cap to vm_dtb_dtb_untyped_cap_0x3810000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 16 with cap to vm_dtb_dtb_untyped_cap_0x3830000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 17 with cap to vm_dtb_dtb_untyped_cap_0x3860000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 18 with cap to IRQ 79, name vm_dtb_dtb_irq_79...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 19 with cap to vm_dtb_dtb_untyped_cap_0x3880000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 20 with cap to IRQ 142, name vm_dtb_dtb_irq_142...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 21 with cap to vm_dtb_dtb_untyped_cap_0x10000000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 22 with cap to vm_dtb_dtb_untyped_cap_0x10010000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 23 with cap to vm_dtb_dtb_untyped_cap_0x10020000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 24 with cap to vm_dtb_dtb_untyped_cap_0x10040000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 25 with cap to vm_dtb_dtb_untyped_cap_0x10044000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 26 with cap to vm_dtb_dtb_untyped_cap_0x10050000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 27 with cap to vm_dtb_dtb_untyped_cap_0x10054000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 28 with cap to vm_dtb_dtb_untyped_cap_0x10060000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 29 with cap to IRQ 97, name vm_dtb_dtb_irq_97...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 30 with cap to vm_dtb_dtb_untyped_cap_0x10064000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 31 with cap to IRQ 215, name vm_dtb_dtb_irq_215...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 32 with cap to vm_dtb_dtb_untyped_cap_0x10068000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 33 with cap to vm_dtb_dtb_untyped_cap_0x1006c000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 34 with cap to IRQ 216, name vm_dtb_dtb_irq_216...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 35 with cap to vm_dtb_dtb_untyped_cap_0x100a0000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 36 with cap to IRQ 217, name vm_dtb_dtb_irq_217...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 37 with cap to vm_dtb_dtb_untyped_cap_0x101d0000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 38 with cap to IRQ 74, name vm_dtb_dtb_irq_74...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 39 with cap to vm_dtb_dtb_untyped_cap_0x101e0000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 40 with cap to IRQ 75, name vm_dtb_dtb_irq_75...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 41 with cap to IRQ 76, name vm_dtb_dtb_irq_76...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 42 with cap to vm_dtb_dtb_untyped_cap_0x10440000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 43 with cap to IRQ 32, name vm_dtb_dtb_irq_32...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 44 with cap to IRQ 33, name vm_dtb_dtb_irq_33...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 45 with cap to IRQ 34, name vm_dtb_dtb_irq_34...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 46 with cap to IRQ 35, name vm_dtb_dtb_irq_35...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 47 with cap to IRQ 36, name vm_dtb_dtb_irq_36...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 48 with cap to IRQ 37, name vm_dtb_dtb_irq_37...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 49 with cap to IRQ 38, name vm_dtb_dtb_irq_38...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 50 with cap to IRQ 39, name vm_dtb_dtb_irq_39...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 51 with cap to IRQ 40, name vm_dtb_dtb_irq_40...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 52 with cap to IRQ 41, name vm_dtb_dtb_irq_41...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 53 with cap to IRQ 42, name vm_dtb_dtb_irq_42...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 54 with cap to IRQ 43, name vm_dtb_dtb_irq_43...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 55 with cap to IRQ 44, name vm_dtb_dtb_irq_44...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 56 with cap to IRQ 45, name vm_dtb_dtb_irq_45...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 57 with cap to IRQ 46, name vm_dtb_dtb_irq_46...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 58 with cap to IRQ 47, name vm_dtb_dtb_irq_47...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 59 with cap to IRQ 48, name vm_dtb_dtb_irq_48...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 60 with cap to IRQ 49, name vm_dtb_dtb_irq_49...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 61 with cap to IRQ 50, name vm_dtb_dtb_irq_50...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 62 with cap to IRQ 51, name vm_dtb_dtb_irq_51...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 63 with cap to IRQ 52, name vm_dtb_dtb_irq_52...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 64 with cap to IRQ 53, name vm_dtb_dtb_irq_53...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 65 with cap to IRQ 54, name vm_dtb_dtb_irq_54...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 66 with cap to IRQ 55, name vm_dtb_dtb_irq_55...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 67 with cap to IRQ 56, name vm_dtb_dtb_irq_56...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 68 with cap to IRQ 57, name vm_dtb_dtb_irq_57...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 69 with cap to IRQ 58, name vm_dtb_dtb_irq_58...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 70 with cap to IRQ 59, name vm_dtb_dtb_irq_59...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 71 with cap to IRQ 60, name vm_dtb_dtb_irq_60...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 72 with cap to IRQ 61, name vm_dtb_dtb_irq_61...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 73 with cap to IRQ 62, name vm_dtb_dtb_irq_62...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 74 with cap to IRQ 63, name vm_dtb_dtb_irq_63...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 75 with cap to vm_dtb_dtb_untyped_cap_0x10800000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 76 with cap to IRQ 65, name vm_dtb_dtb_irq_65...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 77 with cap to vm_dtb_dtb_untyped_cap_0x10a60000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 78 with cap to vm_dtb_dtb_untyped_cap_0x10a70000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 79 with cap to vm_dtb_dtb_untyped_cap_0x10d20000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 80 with cap to vm_dtb_dtb_untyped_cap_0x10ca1000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 81 with cap to vm_dtb_dtb_untyped_cap_0x11200000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 82 with cap to vm_dtb_dtb_untyped_cap_0x11210000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 83 with cap to vm_dtb_dtb_untyped_cap_0x14640000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 84 with cap to vm_dtb_dtb_untyped_cap_0x128d0000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 85 with cap to vm_dtb_dtb_untyped_cap_0x11d40000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 86 with cap to vm_dtb_dtb_untyped_cap_0x11f10000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 87 with cap to vm_dtb_dtb_untyped_cap_0x11f20000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 88 with cap to IRQ 201, name vm_dtb_dtb_irq_201...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 89 with cap to vm_dtb_dtb_untyped_cap_0x12000000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 90 with cap to IRQ 104, name vm_dtb_dtb_irq_104...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 91 with cap to vm_dtb_dtb_untyped_cap_0x12100000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 92 with cap to vm_dtb_dtb_untyped_cap_0x12110000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 93 with cap to IRQ 103, name vm_dtb_dtb_irq_103...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 94 with cap to vm_dtb_dtb_untyped_cap_0x12120000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 95 with cap to vm_dtb_dtb_untyped_cap_0x12130000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 96 with cap to vm_dtb_dtb_untyped_cap_0x121a0000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 97 with cap to IRQ 66, name vm_dtb_dtb_irq_66...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 98 with cap to vm_dtb_dtb_untyped_cap_0x121b0000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 99 with cap to IRQ 67, name vm_dtb_dtb_irq_67...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 100 with cap to vm_dtb_dtb_untyped_cap_0x12200000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 101 with cap to IRQ 107, name vm_dtb_dtb_irq_107...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 102 with cap to vm_dtb_dtb_untyped_cap_0x12210000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 103 with cap to IRQ 108, name vm_dtb_dtb_irq_108...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 104 with cap to vm_dtb_dtb_untyped_cap_0x12220000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 105 with cap to IRQ 109, name vm_dtb_dtb_irq_109...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 106 with cap to vm_dtb_dtb_untyped_cap_0x12400000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 107 with cap to IRQ 105, name vm_dtb_dtb_irq_105...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 108 with cap to vm_dtb_dtb_untyped_cap_0x12500000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 109 with cap to vm_dtb_dtb_untyped_cap_0x12880000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 110 with cap to vm_dtb_dtb_untyped_cap_0x12890000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 111 with cap to IRQ 218, name vm_dtb_dtb_irq_218...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 112 with cap to vm_dtb_dtb_untyped_cap_0x128a0000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 113 with cap to IRQ 220, name vm_dtb_dtb_irq_220...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 114 with cap to vm_dtb_dtb_untyped_cap_0x128c0000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 115 with cap to vm_dtb_dtb_untyped_cap_0x128e0000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 116 with cap to vm_dtb_dtb_untyped_cap_0x12c00000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 117 with cap to IRQ 83, name vm_dtb_dtb_irq_83...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 118 with cap to vm_dtb_dtb_untyped_cap_0x12c10000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 119 with cap to IRQ 84, name vm_dtb_dtb_irq_84...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 120 with cap to vm_dtb_dtb_untyped_cap_0x12c20000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 121 with cap to IRQ 85, name vm_dtb_dtb_irq_85...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 122 with cap to vm_dtb_dtb_untyped_cap_0x12c30000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 123 with cap to IRQ 86, name vm_dtb_dtb_irq_86...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 124 with cap to vm_dtb_dtb_untyped_cap_0x12c60000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 125 with cap to IRQ 88, name vm_dtb_dtb_irq_88...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 126 with cap to vm_dtb_dtb_untyped_cap_0x12c70000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 127 with cap to IRQ 89, name vm_dtb_dtb_irq_89...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 128 with cap to vm_dtb_dtb_untyped_cap_0x12c80000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 129 with cap to IRQ 90, name vm_dtb_dtb_irq_90...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 130 with cap to vm_dtb_dtb_untyped_cap_0x12c90000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 131 with cap to IRQ 91, name vm_dtb_dtb_irq_91...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 132 with cap to vm_dtb_dtb_untyped_cap_0x12ca0000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 133 with cap to IRQ 92, name vm_dtb_dtb_irq_92...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 134 with cap to vm_dtb_dtb_untyped_cap_0x12cb0000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 135 with cap to IRQ 93, name vm_dtb_dtb_irq_93...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 136 with cap to vm_dtb_dtb_untyped_cap_0x12cc0000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 137 with cap to IRQ 94, name vm_dtb_dtb_irq_94...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 138 with cap to vm_dtb_dtb_untyped_cap_0x12d10000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 139 with cap to IRQ 138, name vm_dtb_dtb_irq_138...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 140 with cap to vm_dtb_dtb_untyped_cap_0x12dd0000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 141 with cap to IRQ 68, name vm_dtb_dtb_irq_68...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 142 with cap to IRQ 69, name vm_dtb_dtb_irq_69...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 143 with cap to IRQ 70, name vm_dtb_dtb_irq_70...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 144 with cap to IRQ 71, name vm_dtb_dtb_irq_71...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 145 with cap to IRQ 72, name vm_dtb_dtb_irq_72...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 146 with cap to vm_dtb_dtb_untyped_cap_0x13400000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 147 with cap to IRQ 77, name vm_dtb_dtb_irq_77...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 148 with cap to vm_dtb_dtb_untyped_cap_0x13410000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 149 with cap to IRQ 110, name vm_dtb_dtb_irq_110...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 150 with cap to vm_dtb_dtb_untyped_cap_0x13e00000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 151 with cap to IRQ 117, name vm_dtb_dtb_irq_117...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 152 with cap to vm_dtb_dtb_untyped_cap_0x13e10000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 153 with cap to IRQ 118, name vm_dtb_dtb_irq_118...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 154 with cap to vm_dtb_dtb_untyped_cap_0x13e80000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 155 with cap to vm_dtb_dtb_untyped_cap_0x13e90000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 156 with cap to vm_dtb_dtb_untyped_cap_0x14010000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1779 Populating slot 157 with cap to IRQ 82, name vm_dtb_dtb_irq_82...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 158 with cap to vm_dtb_dtb_untyped_cap_0x14650000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 159 with cap to vm_dtb_dtb_untyped_cap_0x14680000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 160 with cap to vm0_cnode...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0x48)...
- init_cnode@main.c:1783 Populating slot 161 with cap to vm0_cnode...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0x48)...
- init_cnode@main.c:1783 Populating slot 162 with cap to vm0_group_bin_pd...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 163 with cap to vm0_simple_untyped_24_pool_0...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 164 with cap to vm0_simple_untyped_24_pool_1...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 165 with cap to vm0_simple_untyped_24_pool_2...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 166 with cap to vm0_simple_untyped_24_pool_3...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 167 with cap to vm0_simple_untyped_24_pool_4...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 168 with cap to vm0_simple_untyped_24_pool_5...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 169 with cap to vm0_simple_untyped_24_pool_6...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 170 with cap to vm0_simple_untyped_24_pool_7...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 171 with cap to vm0_simple_untyped_24_pool_8...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 172 with cap to vm0_simple_untyped_24_pool_9...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 173 with cap to vm0_simple_untyped_24_pool_10...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 174 with cap to vm0_simple_untyped_24_pool_11...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 175 with cap to vm0_untyped_cap_0x10486000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 176 with cap to vm0_untyped_cap_0x80000000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 177 with cap to vm0_untyped_cap_0x90000000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 178 with cap to vm0_untyped_cap_0xa0000000...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 179 with cap to vm0_asid_pool...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 180 with cap to vm0_irq_notification_obj...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cspace@main.c:1794 Copying into fserv_cnode...
- init_cnode@main.c:1783 Populating slot 1 with cap to fserv_fserv_0_control_tcb...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 2 with cap to fserv_fault_ep...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0x1)...
- init_cnode@main.c:1783 Populating slot 3 with cap to fserv_fserv_fs_ctrl_0000_tcb...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 4 with cap to fserv_fault_ep...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0x3)...
- init_cnode@main.c:1783 Populating slot 5 with cap to fserv_fserv_0_fault_handler_tcb...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 6 with cap to fserv_fault_ep...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 7 with cap to fserv_pre_init_ep...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 8 with cap to fserv_interface_init_ep...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 9 with cap to fserv_post_init_ep...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cnode@main.c:1783 Populating slot 10 with cap to fs0_ep...
- init_cnode_slot@main.c:1761 minting (with badge/guard 0)...
- init_cspace@main.c:1799 Moving Caps...
- init_cspace@main.c:1802 Moving into vm0_cnode...
- init_cnode@main.c:1783 Populating slot 1 with cap to vm0_vm_sem...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 2 with cap to vm0_vm0_0_control_tcb...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 3 with cap to vm0_fault_ep...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 4 with cap to vm0_vm0_dtb_0000_tcb...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 5 with cap to vm0_fault_ep...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 6 with cap to vm0_vm0_0_fault_handler_tcb...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 7 with cap to vm0_fault_ep...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 8 with cap to vm0_pre_init_ep...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 9 with cap to vm0_interface_init_ep...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 10 with cap to vm0_post_init_ep...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 11 with cap to fs0_ep...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 12 with cap to notify_ready_vm0_vm0_global_endpoint...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 13 with cap to notify_ready_vm0_vm0_global_endpoint...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 14 with cap to vm_dtb_dtb_untyped_cap_0x2073000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 15 with cap to vm_dtb_dtb_untyped_cap_0x3810000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 16 with cap to vm_dtb_dtb_untyped_cap_0x3830000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 17 with cap to vm_dtb_dtb_untyped_cap_0x3860000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 18 with cap to IRQ 79, name vm_dtb_dtb_irq_79...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 19 with cap to vm_dtb_dtb_untyped_cap_0x3880000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 20 with cap to IRQ 142, name vm_dtb_dtb_irq_142...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 21 with cap to vm_dtb_dtb_untyped_cap_0x10000000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 22 with cap to vm_dtb_dtb_untyped_cap_0x10010000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 23 with cap to vm_dtb_dtb_untyped_cap_0x10020000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 24 with cap to vm_dtb_dtb_untyped_cap_0x10040000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 25 with cap to vm_dtb_dtb_untyped_cap_0x10044000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 26 with cap to vm_dtb_dtb_untyped_cap_0x10050000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 27 with cap to vm_dtb_dtb_untyped_cap_0x10054000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 28 with cap to vm_dtb_dtb_untyped_cap_0x10060000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 29 with cap to IRQ 97, name vm_dtb_dtb_irq_97...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 30 with cap to vm_dtb_dtb_untyped_cap_0x10064000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 31 with cap to IRQ 215, name vm_dtb_dtb_irq_215...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 32 with cap to vm_dtb_dtb_untyped_cap_0x10068000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 33 with cap to vm_dtb_dtb_untyped_cap_0x1006c000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 34 with cap to IRQ 216, name vm_dtb_dtb_irq_216...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 35 with cap to vm_dtb_dtb_untyped_cap_0x100a0000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 36 with cap to IRQ 217, name vm_dtb_dtb_irq_217...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 37 with cap to vm_dtb_dtb_untyped_cap_0x101d0000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 38 with cap to IRQ 74, name vm_dtb_dtb_irq_74...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 39 with cap to vm_dtb_dtb_untyped_cap_0x101e0000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 40 with cap to IRQ 75, name vm_dtb_dtb_irq_75...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 41 with cap to IRQ 76, name vm_dtb_dtb_irq_76...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 42 with cap to vm_dtb_dtb_untyped_cap_0x10440000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 43 with cap to IRQ 32, name vm_dtb_dtb_irq_32...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 44 with cap to IRQ 33, name vm_dtb_dtb_irq_33...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 45 with cap to IRQ 34, name vm_dtb_dtb_irq_34...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 46 with cap to IRQ 35, name vm_dtb_dtb_irq_35...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 47 with cap to IRQ 36, name vm_dtb_dtb_irq_36...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 48 with cap to IRQ 37, name vm_dtb_dtb_irq_37...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 49 with cap to IRQ 38, name vm_dtb_dtb_irq_38...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 50 with cap to IRQ 39, name vm_dtb_dtb_irq_39...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 51 with cap to IRQ 40, name vm_dtb_dtb_irq_40...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 52 with cap to IRQ 41, name vm_dtb_dtb_irq_41...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 53 with cap to IRQ 42, name vm_dtb_dtb_irq_42...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 54 with cap to IRQ 43, name vm_dtb_dtb_irq_43...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 55 with cap to IRQ 44, name vm_dtb_dtb_irq_44...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 56 with cap to IRQ 45, name vm_dtb_dtb_irq_45...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 57 with cap to IRQ 46, name vm_dtb_dtb_irq_46...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 58 with cap to IRQ 47, name vm_dtb_dtb_irq_47...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 59 with cap to IRQ 48, name vm_dtb_dtb_irq_48...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 60 with cap to IRQ 49, name vm_dtb_dtb_irq_49...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 61 with cap to IRQ 50, name vm_dtb_dtb_irq_50...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 62 with cap to IRQ 51, name vm_dtb_dtb_irq_51...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 63 with cap to IRQ 52, name vm_dtb_dtb_irq_52...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 64 with cap to IRQ 53, name vm_dtb_dtb_irq_53...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 65 with cap to IRQ 54, name vm_dtb_dtb_irq_54...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 66 with cap to IRQ 55, name vm_dtb_dtb_irq_55...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 67 with cap to IRQ 56, name vm_dtb_dtb_irq_56...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 68 with cap to IRQ 57, name vm_dtb_dtb_irq_57...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 69 with cap to IRQ 58, name vm_dtb_dtb_irq_58...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 70 with cap to IRQ 59, name vm_dtb_dtb_irq_59...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 71 with cap to IRQ 60, name vm_dtb_dtb_irq_60...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 72 with cap to IRQ 61, name vm_dtb_dtb_irq_61...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 73 with cap to IRQ 62, name vm_dtb_dtb_irq_62...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 74 with cap to IRQ 63, name vm_dtb_dtb_irq_63...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 75 with cap to vm_dtb_dtb_untyped_cap_0x10800000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 76 with cap to IRQ 65, name vm_dtb_dtb_irq_65...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 77 with cap to vm_dtb_dtb_untyped_cap_0x10a60000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 78 with cap to vm_dtb_dtb_untyped_cap_0x10a70000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 79 with cap to vm_dtb_dtb_untyped_cap_0x10d20000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 80 with cap to vm_dtb_dtb_untyped_cap_0x10ca1000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 81 with cap to vm_dtb_dtb_untyped_cap_0x11200000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 82 with cap to vm_dtb_dtb_untyped_cap_0x11210000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 83 with cap to vm_dtb_dtb_untyped_cap_0x14640000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 84 with cap to vm_dtb_dtb_untyped_cap_0x128d0000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 85 with cap to vm_dtb_dtb_untyped_cap_0x11d40000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 86 with cap to vm_dtb_dtb_untyped_cap_0x11f10000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 87 with cap to vm_dtb_dtb_untyped_cap_0x11f20000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 88 with cap to IRQ 201, name vm_dtb_dtb_irq_201...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 89 with cap to vm_dtb_dtb_untyped_cap_0x12000000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 90 with cap to IRQ 104, name vm_dtb_dtb_irq_104...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 91 with cap to vm_dtb_dtb_untyped_cap_0x12100000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 92 with cap to vm_dtb_dtb_untyped_cap_0x12110000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 93 with cap to IRQ 103, name vm_dtb_dtb_irq_103...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 94 with cap to vm_dtb_dtb_untyped_cap_0x12120000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 95 with cap to vm_dtb_dtb_untyped_cap_0x12130000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 96 with cap to vm_dtb_dtb_untyped_cap_0x121a0000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 97 with cap to IRQ 66, name vm_dtb_dtb_irq_66...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 98 with cap to vm_dtb_dtb_untyped_cap_0x121b0000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 99 with cap to IRQ 67, name vm_dtb_dtb_irq_67...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 100 with cap to vm_dtb_dtb_untyped_cap_0x12200000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 101 with cap to IRQ 107, name vm_dtb_dtb_irq_107...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 102 with cap to vm_dtb_dtb_untyped_cap_0x12210000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 103 with cap to IRQ 108, name vm_dtb_dtb_irq_108...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 104 with cap to vm_dtb_dtb_untyped_cap_0x12220000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 105 with cap to IRQ 109, name vm_dtb_dtb_irq_109...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 106 with cap to vm_dtb_dtb_untyped_cap_0x12400000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 107 with cap to IRQ 105, name vm_dtb_dtb_irq_105...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 108 with cap to vm_dtb_dtb_untyped_cap_0x12500000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 109 with cap to vm_dtb_dtb_untyped_cap_0x12880000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 110 with cap to vm_dtb_dtb_untyped_cap_0x12890000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 111 with cap to IRQ 218, name vm_dtb_dtb_irq_218...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 112 with cap to vm_dtb_dtb_untyped_cap_0x128a0000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 113 with cap to IRQ 220, name vm_dtb_dtb_irq_220...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 114 with cap to vm_dtb_dtb_untyped_cap_0x128c0000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 115 with cap to vm_dtb_dtb_untyped_cap_0x128e0000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 116 with cap to vm_dtb_dtb_untyped_cap_0x12c00000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 117 with cap to IRQ 83, name vm_dtb_dtb_irq_83...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 118 with cap to vm_dtb_dtb_untyped_cap_0x12c10000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 119 with cap to IRQ 84, name vm_dtb_dtb_irq_84...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 120 with cap to vm_dtb_dtb_untyped_cap_0x12c20000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 121 with cap to IRQ 85, name vm_dtb_dtb_irq_85...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 122 with cap to vm_dtb_dtb_untyped_cap_0x12c30000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 123 with cap to IRQ 86, name vm_dtb_dtb_irq_86...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 124 with cap to vm_dtb_dtb_untyped_cap_0x12c60000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 125 with cap to IRQ 88, name vm_dtb_dtb_irq_88...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 126 with cap to vm_dtb_dtb_untyped_cap_0x12c70000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 127 with cap to IRQ 89, name vm_dtb_dtb_irq_89...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 128 with cap to vm_dtb_dtb_untyped_cap_0x12c80000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 129 with cap to IRQ 90, name vm_dtb_dtb_irq_90...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 130 with cap to vm_dtb_dtb_untyped_cap_0x12c90000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 131 with cap to IRQ 91, name vm_dtb_dtb_irq_91...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 132 with cap to vm_dtb_dtb_untyped_cap_0x12ca0000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 133 with cap to IRQ 92, name vm_dtb_dtb_irq_92...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 134 with cap to vm_dtb_dtb_untyped_cap_0x12cb0000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 135 with cap to IRQ 93, name vm_dtb_dtb_irq_93...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 136 with cap to vm_dtb_dtb_untyped_cap_0x12cc0000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 137 with cap to IRQ 94, name vm_dtb_dtb_irq_94...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 138 with cap to vm_dtb_dtb_untyped_cap_0x12d10000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 139 with cap to IRQ 138, name vm_dtb_dtb_irq_138...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 140 with cap to vm_dtb_dtb_untyped_cap_0x12dd0000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 141 with cap to IRQ 68, name vm_dtb_dtb_irq_68...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 142 with cap to IRQ 69, name vm_dtb_dtb_irq_69...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 143 with cap to IRQ 70, name vm_dtb_dtb_irq_70...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 144 with cap to IRQ 71, name vm_dtb_dtb_irq_71...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 145 with cap to IRQ 72, name vm_dtb_dtb_irq_72...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 146 with cap to vm_dtb_dtb_untyped_cap_0x13400000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 147 with cap to IRQ 77, name vm_dtb_dtb_irq_77...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 148 with cap to vm_dtb_dtb_untyped_cap_0x13410000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 149 with cap to IRQ 110, name vm_dtb_dtb_irq_110...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 150 with cap to vm_dtb_dtb_untyped_cap_0x13e00000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 151 with cap to IRQ 117, name vm_dtb_dtb_irq_117...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 152 with cap to vm_dtb_dtb_untyped_cap_0x13e10000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 153 with cap to IRQ 118, name vm_dtb_dtb_irq_118...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 154 with cap to vm_dtb_dtb_untyped_cap_0x13e80000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 155 with cap to vm_dtb_dtb_untyped_cap_0x13e90000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 156 with cap to vm_dtb_dtb_untyped_cap_0x14010000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1779 Populating slot 157 with cap to IRQ 82, name vm_dtb_dtb_irq_82...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 158 with cap to vm_dtb_dtb_untyped_cap_0x14650000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 159 with cap to vm_dtb_dtb_untyped_cap_0x14680000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 160 with cap to vm0_cnode...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 161 with cap to vm0_cnode...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 162 with cap to vm0_group_bin_pd...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 163 with cap to vm0_simple_untyped_24_pool_0...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 164 with cap to vm0_simple_untyped_24_pool_1...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 165 with cap to vm0_simple_untyped_24_pool_2...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 166 with cap to vm0_simple_untyped_24_pool_3...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 167 with cap to vm0_simple_untyped_24_pool_4...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 168 with cap to vm0_simple_untyped_24_pool_5...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 169 with cap to vm0_simple_untyped_24_pool_6...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 170 with cap to vm0_simple_untyped_24_pool_7...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 171 with cap to vm0_simple_untyped_24_pool_8...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 172 with cap to vm0_simple_untyped_24_pool_9...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 173 with cap to vm0_simple_untyped_24_pool_10...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 174 with cap to vm0_simple_untyped_24_pool_11...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 175 with cap to vm0_untyped_cap_0x10486000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 176 with cap to vm0_untyped_cap_0x80000000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 177 with cap to vm0_untyped_cap_0x90000000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 178 with cap to vm0_untyped_cap_0xa0000000...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 179 with cap to vm0_asid_pool...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 180 with cap to vm0_irq_notification_obj...
- init_cnode_slot@main.c:1767 skipping
- init_cspace@main.c:1802 Moving into fserv_cnode...
- init_cnode@main.c:1783 Populating slot 1 with cap to fserv_fserv_0_control_tcb...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 2 with cap to fserv_fault_ep...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 3 with cap to fserv_fserv_fs_ctrl_0000_tcb...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 4 with cap to fserv_fault_ep...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 5 with cap to fserv_fserv_0_fault_handler_tcb...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 6 with cap to fserv_fault_ep...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 7 with cap to fserv_pre_init_ep...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 8 with cap to fserv_interface_init_ep...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 9 with cap to fserv_post_init_ep...
- init_cnode_slot@main.c:1767 skipping
- init_cnode@main.c:1783 Populating slot 10 with cap to fs0_ep...
- init_cnode_slot@main.c:1767 skipping
- start_threads@main.c:1810 Starting threads...
- start_threads@main.c:1813 Starting fserv_fserv_0_control_tcb...
- start_threads@main.c:1813 Starting fserv_fserv_0_fault_handler_tcb...
- start_threads@main.c:1813 Starting fserv_fserv_fs_ctrl_0000_tcb...
- start_threads@main.c:1813 Starting vm0_vm0_0_control_tcb...
- start_threads@main.c:1813 Starting vm0_vm0_0_fault_handler_tcb...
- start_threads@main.c:1813 Starting vm0_vm0_dtb_0000_tcb...
- main@main.c:2033 We used 11108 CSlots (0.00% of our CNode)
- main@main.c:2034 Done; suspending...
- _utspace_split_alloc@split.c:272 Failed to find any untyped capable of creating an object at address 0x14000000
- vm_map_paddr@main.c:314 Failed to map address 0x14000000
- _utspace_split_alloc@split.c:272 Failed to find any untyped capable of creating an object at address 0x10d10000
- vm_map_paddr@main.c:314 Failed to map address 0x10d10000
- Loading Linux: 'linux' dtb: 'linux-dtb'
- install_linux_devices@main.c:605 module name: map_frame_hack
- [ 0.000000] Booting Linux on physical CPU 0x0
- [ 0.000000] Linux version 4.14.87+ (alisonf@shinyu-un) (gcc version 6.3.0 20170516 (Debian 6.3.0-18)) #126 SMP PREEMPT Fri Feb 7 15:19:29 AEDT 2020
- [ 0.000000] CPU: ARMv7 Processor [412fc0f3] revision 3 (ARMv7), cr=10c5387d
- [ 0.000000] CPU: div instructions available: patching division code
- [ 0.000000] CPU: PIPT / VIPT nonaliasing data cache, PIPT instruction cache
- [ 0.000000] OF: fdt: Machine model: Hardkernel Odroid XU4
- [ 0.000000] bootconsole [earlycon0] enabled
- [ 0.000000] Memory policy: Data cache writealloc
- [ 0.000000] cma: Reserved 128 MiB at 0xa5400000
- [ 0.000000] Samsung CPU ID: 0xe5422001
- [ 0.000000] On node 0 totalpages: 196608
- [ 0.000000] free_area_init_node: node 0, pgdat c0e95b00, node_mem_map ef8f7000
- [ 0.000000] Normal zone: 1728 pages used for memmap
- [ 0.000000] Normal zone: 0 pages reserved
- [ 0.000000] Normal zone: 196608 pages, LIFO batch:31
- [ 0.000000] Running under secure firmware.
- [ 0.000000] random: get_random_bytes called from start_kernel+0x8c/0x40c with crng_init=0
- [ 0.000000] percpu: Embedded 17 pages/cpu @ef8d7000 s37644 r8192 d23796 u69632
- [ 0.000000] pcpu-alloc: s37644 r8192 d23796 u69632 alloc=17*4096
- [ 0.000000] pcpu-alloc: [0] 0
- [ 0.000000] Built 1 zonelists, mobility grouping on. Total pages: 194880
- [ 0.000000] Kernel command line: console=ttySAC2,115200n8 root=/dev/ram0 nosmp rw debug loglevel=8 earlyprintk=serial pci=nomsi maxcpus=1 s5p_mfc.mem=16M
- [ 0.000000] PID hash table entries: 4096 (order: 2, 16384 bytes)
- [ 0.000000] Dentry cache hash table entries: 131072 (order: 7, 524288 bytes)
- [ 0.000000] Inode-cache hash table entries: 65536 (order: 6, 262144 bytes)
- [ 0.000000] Memory: 610600K/786432K available (9216K kernel code, 693K rwdata, 2532K rodata, 1024K init, 330K bss, 44760K reserved, 131072K cma-reserved, 0K highmem)
- [ 0.000000] Virtual kernel memory layout:
- [ 0.000000] vector : 0xffff0000 - 0xffff1000 ( 4 kB)
- [ 0.000000] fixmap : 0xffc00000 - 0xfff00000 (3072 kB)
- [ 0.000000] vmalloc : 0xf0800000 - 0xff800000 ( 240 MB)
- [ 0.000000] lowmem : 0xc0000000 - 0xf0000000 ( 768 MB)
- [ 0.000000] pkmap : 0xbfe00000 - 0xc0000000 ( 2 MB)
- [ 0.000000] modules : 0xbf000000 - 0xbfe00000 ( 14 MB)
- [ 0.000000] .text : 0xc0008000 - 0xc0a00000 (10208 kB)
- [ 0.000000] .init : 0xc0d00000 - 0xc0e00000 (1024 kB)
- [ 0.000000] .data : 0xc0e00000 - 0xc0ead7b8 ( 694 kB)
- [ 0.000000] .bss : 0xc0eb5abc - 0xc0f08450 ( 331 kB)
- [ 0.000000] SLUB: HWalign=64, Order=0-3, MinObjects=0, CPUs=1, Nodes=1
- [ 0.000000] Preemptible hierarchical RCU implementation.
- [ 0.000000] RCU restricting CPUs from NR_CPUS=4 to nr_cpu_ids=1.
- [ 0.000000] Tasks RCU enabled.
- [ 0.000000] RCU: Adjusting geometry for rcu_fanout_leaf=16, nr_cpu_ids=1
- [ 0.000000] NR_IRQS: 16, nr_irqs: 16, preallocated irqs: 16
- [ 0.000000] arch_timer: cp15 timer(s) running at 24.00MHz (virt).
- [ 0.000000] clocksource: arch_sys_counter: mask: 0xffffffffffffff max_cycles: 0x588fe9dc0, max_idle_ns: 440795202592 ns
- [ 0.000006] sched_clock: 56 bits at 24MHz, resolution 41ns, wraps every 4398046511097ns
- [ 0.008062] Switching to timer-based delay loop, resolution 41ns
- [ 0.014300] Console: colour dummy device 80x30
- [ 0.018713] Calibrating delay loop (skipped), value calculated using timer frequency.. 48.00 BogoMIPS (lpj=96000)
- [ 0.029007] pid_max: default: 32768 minimum: 301
- [ 0.033811] Mount-cache hash table entries: 2048 (order: 1, 8192 bytes)
- [ 0.040372] Mountpoint-cache hash table entries: 2048 (order: 1, 8192 bytes)
- [ 0.048130] CPU: Testing write buffer coherency: ok
- [ 0.052992] CPU0: Spectre v2: firmware did not set auxiliary control register IBE bit, system vulnerable
- [ 0.062743] /cpus/cpu@0 missing clock-frequency property
- [ 0.068013] CPU0: thread -1, cpu 0, socket 0, mpidr 80000000
- [ 0.089950] Setting up static identity map for 0x80100000 - 0x80100060
- [ 0.104521] Hierarchical SRCU implementation.
- [ 0.125013] smp: Bringing up secondary CPUs ...
- [ 0.129503] smp: Brought up 1 node, 1 CPU
- [ 0.133563] SMP: Total of 1 processors activated (48.00 BogoMIPS).
- [ 0.139800] CPU: All CPU(s) started in SVC mode.
- [ 0.145893] devtmpfs: initialized
- [ 0.157485] VFP support v0.3: implementor 41 architecture 4 part 30 variant f rev 0
- [ 0.165342] clocksource: jiffies: mask: 0xffffffff max_cycles: 0xffffffff, max_idle_ns: 7645041785100000 ns
- [ 0.175035] futex hash table entries: 256 (order: 2, 16384 bytes)
- [ 0.183481] pinctrl core: initialized pinctrl subsystem
- [ 0.190157] NET: Registered protocol family 16
- [ 0.200088] DMA: preallocated 1024 KiB pool for atomic coherent allocations
- [ 0.208658] cpuidle: using governor menu
- [ 0.212851] hw-breakpoint: found 5 (+1 reserved) breakpoint and 4 watchpoint registers.
- [ 0.220804] hw-breakpoint: maximum watchpoint size is 8 bytes.
- [ 0.232739] exynos-audss-clk 3810000.audss-clock-controller: epll 180633609
- [ 0.243870] samsung-pinctrl 13400000.pinctrl: failed to get alias id
- [ 0.250175] samsung-pinctrl 13400000.pinctrl: driver data not available
- [ 0.256857] samsung-pinctrl: probe of 13400000.pinctrl failed with error -2
- [ 0.264183] samsung-pinctrl 13410000.pinctrl: failed to get alias id
- [ 0.270493] samsung-pinctrl 13410000.pinctrl: driver data not available
- [ 0.277172] samsung-pinctrl: probe of 13410000.pinctrl failed with error -2
- [ 0.284489] samsung-pinctrl 14010000.pinctrl: failed to get alias id
- [ 0.290795] samsung-pinctrl 14010000.pinctrl: driver data not available
- [ 0.297476] samsung-pinctrl: probe of 14010000.pinctrl failed with error -2
- [ 0.304856] samsung-pinctrl 3860000.pinctrl: failed to get alias id
- [ 0.311109] samsung-pinctrl 3860000.pinctrl: driver data not available
- [ 0.317727] samsung-pinctrl: probe of 3860000.pinctrl failed with error -2
- [ 0.328003] EXYNOS5420 PMU initialized
- [ 0.333185] genirq: irq_chip COMBINER did not update eff. affinity mask of irq 85
- [ 0.386386] vgaarb: loaded
- [ 0.389426] usbcore: registered new interface driver usbfs
- [ 0.394943] usbcore: registered new interface driver hub
- [ 0.400309] usbcore: registered new device driver usb
- [ 0.405666] s3c-i2c 12c80000.i2c: prop pinctrl-0 index 0 invalid phandle
- [ 0.412328] s3c-i2c: probe of 12c80000.i2c failed with error -22
- [ 0.418634] media: Linux media interface: v0.10
- [ 0.423155] Linux video capture interface: v2.00
- [ 0.427912] pps_core: LinuxPPS API ver. 1 registered
- [ 0.432827] pps_core: Software ver. 5.3.6 - Copyright 2005-2007 Rodolfo Giometti <giometti@linux.it>
- [ 0.442488] s3c2410-wdt 101d0000.watchdog: watchdog inactive, reset disabled, irq disabled
- [ 0.454944] Advanced Linux Sound Architecture Driver Initialized.
- [ 0.465619] clocksource: Switched to clocksource arch_sys_counter
- [ 0.534658] VFS: Disk quotas dquot_6.6.0
- [ 0.538608] VFS: Dquot-cache hash table entries: 1024 (order 0, 4096 bytes)
- [ 0.555380] NET: Registered protocol family 2
- [ 0.560308] TCP established hash table entries: 8192 (order: 3, 32768 bytes)
- [ 0.567393] TCP bind hash table entries: 8192 (order: 4, 65536 bytes)
- [ 0.573956] TCP: Hash tables configured (established 8192 bind 8192)
- [ 0.580328] UDP hash table entries: 512 (order: 2, 16384 bytes)
- [ 0.586269] UDP-Lite hash table entries: 512 (order: 2, 16384 bytes)
- [ 0.592823] NET: Registered protocol family 1
- [ 0.609783] RPC: Registered named UNIX socket transport module.
- [ 0.615691] RPC: Registered udp transport module.
- [ 0.620414] RPC: Registered tcp transport module.
- [ 0.625179] RPC: Registered tcp NFSv4.1 backchannel transport module.
- [ 0.631692] PCI: CLS 0 bytes, default 64
- [ 0.635885] Trying to unpack rootfs image as initramfs...
- [ 2.239353] Freeing initrd memory: 22244K
- [ 2.245879] audit: initializing netlink subsys (disabled)
- [ 2.251688] Initialise system trusted keyrings
- [ 2.256105] audit: type=2000 audit(2.108:1): state=initialized audit_enabled=0 res=1
- [ 2.264061] workingset: timestamp_bits=14 max_order=18 bucket_order=4
- [ 2.283103] squashfs: version 4.0 (2009/01/31) Phillip Lougher
- [ 2.294127] NFS: Registering the id_resolver key type
- [ 2.299181] Key type id_resolver registered
- [ 2.303379] Key type id_legacy registered
- [ 2.307463] nfs4filelayout_init: NFSv4 File Layout Driver Registering...
- [ 2.314253] romfs: ROMFS MTD (C) 2007 Red Hat, Inc.
- [ 2.323938] Key type asymmetric registered
- [ 2.328071] Asymmetric key parser 'x509' registered
- [ 2.333197] Block layer SCSI generic (bsg) driver version 0.4 loaded (major 245)
- [ 2.345698] io scheduler noop registered
- [ 2.349529] io scheduler deadline registered
- [ 2.354103] io scheduler cfq registered (default)
- [ 2.358767] io scheduler mq-deadline registered
- [ 2.363351] io scheduler kyber registered
- [ 2.367669] io scheduler bfq registered
- [ 2.372687] samsung-usb2-phy 12130000.phy: 12130000.phy supply vbus not found, using dummy regulator
- [ 2.382688] exynos5_usb3drd_phy 12100000.phy: 12100000.phy supply vbus not found, using dummy regulator
- [ 2.392124] exynos5_usb3drd_phy 12100000.phy: 12100000.phy supply vbus-boost not found, using dummy regulator
- [ 2.402391] exynos5_usb3drd_phy 12500000.phy: 12500000.phy supply vbus not found, using dummy regulator
- [ 2.411820] exynos5_usb3drd_phy 12500000.phy: 12500000.phy supply vbus-boost not found, using dummy regulator
- [ 2.422470] samsung-pwm 12dd0000.pwm: prop pinctrl-0 index 0 invalid phandle
- [ 2.429483] samsung-pwm: probe of 12dd0000.pwm failed with error -22
- [ 2.436215] OF: PCI: host bridge /pci ranges:
- [ 2.440545] OF: PCI: IO 0x3d000000..0x3d00ffff -> 0x00000000
- [ 2.446518] OF: PCI: MEM 0x3f000000..0x3fffffff -> 0x3f000000
- [ 2.452527] pci-host-generic 3e000000.pci: ECAM at [mem 0x3e000000-0x3effffff] for [bus 00-01]
- [ 2.461319] pci-host-generic 3e000000.pci: PCI host bridge to bus 0000:00
- [ 2.468067] pci_bus 0000:00: root bus resource [bus 00-01]
- [ 2.473617] pci_bus 0000:00: root bus resource [io 0x0000-0xffff]
- [ 2.479837] pci_bus 0000:00: root bus resource [mem 0x3f000000-0x3fffffff]
- [ 2.486777] pci_bus 0000:00: scanning bus
- [ 2.490973] pci 0000:00:00.0: [5e14:0042] type 00 class 0x060000
- [ 2.497188] pci 0000:00:00.0: calling quirk_mmio_always_on+0x0/0x10
- [ 2.504183] pci 0000:00:00.0: calling pci_fixup_ide_bases+0x0/0x44
- [ 2.511412] pci_bus 0000:00: fixups for bus
- [ 2.515646] PCI: bus0: Fast back to back transfers disabled
- [ 2.521183] pci_bus 0000:00: bus scan returning with max=00
- [ 2.530110] dma-pl330 3880000.adma: Loaded driver for PL330 DMAC-241330
- [ 2.536674] dma-pl330 3880000.adma: DBUFF-4x8bytes Num_Chans-6 Num_Peri-16 Num_Events-6
- [ 2.547854] dma-pl330 121a0000.pdma: Loaded driver for PL330 DMAC-241330
- [ 2.554518] dma-pl330 121a0000.pdma: DBUFF-32x4bytes Num_Chans-8 Num_Peri-32 Num_Events-32
- [ 2.565738] dma-pl330 3880000.adma: PM domain MAU will not be powered off
- [ 2.572750] dma-pl330 121b0000.pdma: Loaded driver for PL330 DMAC-241330
- [ 2.579426] dma-pl330 121b0000.pdma: DBUFF-32x4bytes Num_Chans-8 Num_Peri-32 Num_Events-32
- [ 2.588900] dma-pl330 10800000.mdma: Loaded driver for PL330 DMAC-241330
- [ 2.595568] dma-pl330 10800000.mdma: DBUFF-64x8bytes Num_Chans-8 Num_Peri-1 Num_Events-32
- [ 2.665061] Serial: 8250/16550 driver, 4 ports, IRQ sharing disabled
- [ 2.673425] 12c00000.serial: ttySAC0 at MMIO 0x12c00000 (irq = 53, base_baud = 0) is a S3C6400/10
- [ 2.682748] 12c10000.serial: ttySAC1 at MMIO 0x12c10000 (irq = 54, base_baud = 0) is a S3C6400/10
- [ 2.691976] 12c20000.serial: ttySAC2 at MMIO 0x12c20000 (irq = 55, base_baud = 0) is a S3C6400/10
- [ 2.700883] console [tt[SAC2] enabled
- 2.700883] console [ttySAC2] enabled
- [ 2.708078] bootconsole [early[on0] disabled
- 2.708078] bootconsole [earlycon0] disabled
- [ 2.717044] 12c30000.serial: ttySAC3 at MMIO 0x12c30000 (irq = 56, base_baud = 0) is a S3C6400/10
- [ 2.741685] exynos-drm-ipp exynos-drm-ipp: drm ipp registered successfully.
- [ 2.759698] brd: module loaded
- [ 2.761945] libphy: Fixed MDIO Bus: probed
- [ 2.765754] usbcore: registered new interface driver r8152
- [ 2.770940] usbcore: registered new interface driver cdc_ether
- [ 2.776701] usbcore: registered new interface driver cdc_subset
- [ 2.783323] exynos-dwc3 soc:usb3-0: soc:usb3-0 supply vdd33 not found, using dummy regulator
- [ 2.791076] exynos-dwc3 soc:usb3-0: soc:usb3-0 supply vdd10 not found, using dummy regulator
- [ 2.801144] exynos-dwc3 soc:usb3-1: soc:usb3-1 supply vdd33 not found, using dummy regulator
- [ 2.808237] exynos-dwc3 soc:usb3-1: soc:usb3-1 supply vdd10 not found, using dummy regulator
- [ 2.820734] ehci_hcd: USB 2.0 'Enhanced' Host Controller (EHCI) Driver
- [ 2.825860] ehci-pci: EHCI PCI platform driver
- [ 2.830297] ehci-exynos: EHCI EXYNOS driver
- [ 2.834664] exynos-ehci 12110000.usb: EHCI Host Controller
- [ 2.839889] exynos-ehci 12110000.usb: new USB bus registered, assigned bus number 1
- [ 2.851223] exynos-ehci 12110000.usb: can't setup: -110
- [ 2.855015] exynos-ehci 12110000.usb: USB bus 1 deregistered
- [ 2.860654] exynos-ehci 12110000.usb: Failed to add USB HCD
- [ 2.866261] exynos-ehci: probe of 12110000.usb failed with error -110
- [ 2.872826] ohci_hcd: USB 1.1 'Open' Host Controller (OHCI) Driver
- [ 2.878813] ohci-pci: OHCI PCI platform driver
- [ 2.883224] ohci-exynos: OHCI EXYNOS driver
- [ 2.887529] exynos-ohci 12120000.usb: USB Host Controller
- [ 2.892738] exynos-ohci 12120000.usb: new USB bus registered, assigned bus number 1
- [ 2.900706] exynos-ohci 12120000.usb: irq 67, io mem 0x12120000
- [ 2.965683] exynos-ohci 12120000.usb: init err (00000000 0000)
- [ 2.970074] exynos-ohci 12120000.usb: can't start
- [ 2.975026] exynos-ohci 12120000.usb: startup error -75
- [ 2.979994] exynos-ohci 12120000.usb: USB bus 1 deregistered
- [ 2.985695] exynos-ohci 12120000.usb: Failed to add USB HCD
- [ 2.991241] exynos-ohci: probe of 12120000.usb failed with error -75
- [ 2.998259] xhci-hcd xhci-hcd.2.auto: xHCI Host Controller
- [ 3.002945] xhci-hcd xhci-hcd.2.auto: new USB bus registered, assigned bus number 1
- [ 3.011024] xhci-hcd xhci-hcd.2.auto: hcc params 0x0220f04c hci version 0x100 quirks 0x0000000002010010
- [ 3.020091] xhci-hcd xhci-hcd.2.auto: irq 103, io mem 0x12000000
- [ 3.026146] usb usb1: New USB device found, idVendor=1d6b, idProduct=0002
- [ 3.032647] usb usb1: New USB device strings: Mfr=3, Product=2, SerialNumber=1
- [ 3.039839] usb usb1: Product: xHCI Host Controller
- [ 3.044682] usb usb1: Manufacturer: Linux 4.14.87+ xhci-hcd
- [ 3.050236] usb usb1: SerialNumber: xhci-hcd.2.auto
- [ 3.055693] hub 1-0:1.0: USB hub found
- [ 3.058889] hub 1-0:1.0: 1 port detected
- [ 3.063179] xhci-hcd xhci-hcd.2.auto: xHCI Host Controller
- [ 3.068218] xhci-hcd xhci-hcd.2.auto: new USB bus registered, assigned bus number 2
- [ 3.075814] xhci-hcd xhci-hcd.2.auto: Host supports USB 3.0 SuperSpeed
- [ 3.082573] usb usb2: We don't know the algorithms for LPM for this host, disabling LPM.
- [ 3.090629] usb usb2: New USB device found, idVendor=1d6b, idProduct=0003
- [ 3.097200] usb usb2: New USB device strings: Mfr=3, Product=2, SerialNumber=1
- [ 3.104395] usb usb2: Product: xHCI Host Controller
- [ 3.109241] usb usb2: Manufacturer: Linux 4.14.87+ xhci-hcd
- [ 3.114791] usb usb2: SerialNumber: xhci-hcd.2.auto
- [ 3.120228] hub 2-0:1.0: USB hub found
- [ 3.123440] hub 2-0:1.0: 1 port detected
- [ 3.127830] xhci-hcd xhci-hcd.5.auto: xHCI Host Controller
- [ 3.132790] xhci-hcd xhci-hcd.5.auto: new USB bus registered, assigned bus number 3
- [ 3.140784] xhci-hcd xhci-hcd.5.auto: hcc params 0x0220f04c hci version 0x100 quirks 0x0000000002010010
- [ 3.149951] xhci-hcd xhci-hcd.5.auto: irq 104, io mem 0x12400000
- [ 3.155941] usb usb3: New USB device found, idVendor=1d6b, idProduct=0002
- [ 3.162463] usb usb3: New USB device strings: Mfr=3, Product=2, SerialNumber=1
- [ 3.169763] usb usb3: Product: xHCI Host Controller
- [ 3.174495] usb usb3: Manufacturer: Linux 4.14.87+ xhci-hcd
- [ 3.180037] usb usb3: SerialNumber: xhci-hcd.5.auto
- [ 3.185438] hub 3-0:1.0: USB hub found
- [ 3.188689] hub 3-0:1.0: 1 port detected
- [ 3.192975] xhci-hcd xhci-hcd.5.auto: xHCI Host Controller
- [ 3.198036] xhci-hcd xhci-hcd.5.auto: new USB bus registered, assigned bus number 4
- [ 3.205665] xhci-hcd xhci-hcd.5.auto: Host supports USB 3.0 SuperSpeed
- [ 3.212279] usb usb4: We don't know the algorithms for LPM for this host, disabling LPM.
- [ 3.220431] usb usb4: New USB device found, idVendor=1d6b, idProduct=0003
- [ 3.227016] usb usb4: New USB device strings: Mfr=3, Product=2, SerialNumber=1
- [ 3.234377] usb usb4: Product: xHCI Host Controller
- [ 3.239051] usb usb4: Manufacturer: Linux 4.14.87+ xhci-hcd
- [ 3.244593] usb usb4: SerialNumber: xhci-hcd.5.auto
- [ 3.250082] hub 4-0:1.0: USB hub found
- [ 3.253170] hub 4-0:1.0: 1 port detected
- [ 3.258918] mousedev: PS/2 mouse device common for all mice
- [ 3.264013] i2c /dev entries driver
- [ 3.266685] exynos5-hsi2c 12ca0000.i2c: prop pinctrl-0 index 0 invalid phandle
- [ 3.274228] exynos5-hsi2c: probe of 12ca0000.i2c failed with error -22
- [ 3.285701] exynos-gsc 13e00000.video-scaler: Linked as a consumer to 13e80000.sysmmu
- [ 3.292152] iommu: Adding device 13e00000.video-scaler to group 0
- [ 3.305687] exynos-gsc 13e10000.video-scaler: Linked as a consumer to 13e90000.sysmmu
- [ 3.312116] iommu: Adding device 13e10000.video-scaler to group 1
- [ 3.320315] exynos-tmu 10060000.tmu: Regulator node (vtmu) not found
- [ 3.325422] exynos-tmu 10060000.tmu: Failed to register sensor: -19
- [ 3.331584] exynos-tmu 10064000.tmu: Regulator node (vtmu) not found
- [ 3.338200] exynos-tmu 10064000.tmu: Failed to register sensor: -19
- [ 3.344291] exynos-tmu 10068000.tmu: Regulator node (vtmu) not found
- [ 3.350734] exynos-tmu 10068000.tmu: Failed to register sensor: -19
- [ 3.356708] exynos-tmu 1006c000.tmu: Regulator node (vtmu) not found
- [ 3.364551] exynos-tmu 1006c000.tmu: Failed to register sensor: -19
- [ 3.369952] device-mapper: uevent: version 1.0.3
- [ 3.374342] device-mapper: ioctl: 4.37.0-ioctl (2017-09-20) initialised: dm-devel@redhat.com
- [ 3.382838] cpu cpu0: failed to get clock: -2
- [ 3.386768] cpufreq-dt: probe of cpufreq-dt failed with error -2
- [ 3.393272] sdhci: Secure Digital Host Controller Interface driver
- [ 3.398851] sdhci: Copyright(c) Pierre Ossman
- [ 3.403198] usb 1-1: new high-speed USB device number 2 using xhci-hcd
- [ 3.409941] Synopsys Designware Multimedia Card Interface Driver
- [ 3.416222] dwmmc_exynos 12200000.mmc: prop pinctrl-0 index 0 invalid phandle
- [ 3.422916] dwmmc_exynos: probe of 12200000.mmc failed with error -22
- [ 3.429208] dwmmc_exynos 12220000.mmc: prop pinctrl-0 index 0 invalid phandle
- [ 3.436288] dwmmc_exynos: probe of 12220000.mmc failed with error -22
- [ 3.443373] ledtrig-cpu: registered to indicate activity on CPUs
- [ 3.448970] hidraw: raw HID events driver (C) Jiri Kosina
- [ 3.454792] exynos-nocp: new NoC Probe device registered: 10ca1000.nocp
- [ 3.461723] exynos-adc 12d10000.adc: 12d10000.adc supply vdd not found, using dummy regulator
- [ 3.471897] samsung-i2s 3830000.i2s: prop pinctrl-0 index 0 invalid phandle
- [ 3.477516] samsung-i2s: probe of 3830000.i2s failed with error -22
- [ 3.484302] Netfilter messages via NETLINK v0.30.
- [ 3.488579] nf_conntrack version 0.5.0 (12288 buckets, 49152 max)
- [ 3.494830] nf_tables: (c) 2007-2009 Patrick McHardy <kaber@trash.net>
- [ 3.501231] ip_tables: (C) 2000-2006 Netfilter Core Team
- [ 3.506459] arp_tables: arp_tables: (C) 2002 David S. Miller
- [ 3.512409] NET: Registered protocol family 10
- [ 3.521947] Segment Routing with IPv6
- [ 3.524215] ip6_tables: (C) 2000-2006 Netfilter Core Team
- [ 3.530042] NET: Registered protocol family 17
- [ 3.533997] NET: Registered protocol family 15
- [ 3.538424] bridge: filtering via arp/ip/ip6tables is no longer available by default. Update your scripts to load br_netfilter if you need this.
- [ 3.551397] Key type dns_resolver registered
- [ 3.556195] Registering SWP/SWPB emulation handler
- [ 3.560986] registered taskstats version 1
- [ 3.564392] Loading compiled-in X.509 certificates
- [ 3.578711] usb 1-1: New USB device found, idVendor=05e3, idProduct=0610
- [ 3.585855] usb 1-1: New USB device strings: Mfr=1, Product=2, SerialNumber=0
- [ 3.594242] usb 1-1: Product: USB2.0 Hub
- [ 3.596690] usb 1-1: Manufacturer: GenesysLogic
- [ 3.601362] Key type encrypted registered
- [ 3.627124] hub 1-1:1.0: USB hub found
- [ 3.633702] hub 1-1:1.0: 2 ports detected
- [ 3.643976] hctosys: unable to open rtc device (rtc0)
- [ 3.652258] ALSA device list:
- [ 3.653842] No soundcards found.
- [ 3.660166] Freeing unused kernel memory: 1024K
- [ 3.701966] usb 2-1: new SuperSpeed USB device number 2 using xhci-hcd
- [ 3.729354] usb 2-1: New USB device found, idVendor=05e3, idProduct=0616
- [ 3.737794] usb 2-1: New USB device strings: Mfr=1, Product=2, SerialNumber=0
- [ 3.749730] usb 2-1: Product: USB3.0 Hub
- [ 3.752178] usb 2-1: Manufacturer: GenesysLogic
- [ 3.771516] hub 2-1:1.0: USB hub found
- [ 3.777717] hub 2-1:1.0: 2 ports detected
- Starting syslogd: OK
- Starting klogd: OK
- Running sysctl: OK
- Populating /dev using udev: [ 3.925557] udevd[93]: starting version 3.2.9
- [ 3.929284] random: udevd: uninitialized urandom read (16 bytes read)
- [ 3.935599] random: udevd: uninitialized urandom read (16 bytes read)
- [ 3.941877] random: udevd: uninitialized urandom read (16 bytes read)
- [ 3.962176] udevd[94]: starting eudev-3.2.9
- [ 5.118725] random: fast init done
- done
- Saving random seed: [ 5.225923] random: dd: uninitialized urandom read (512 bytes read)
- OK
- Starting network: OK
- Welcome to Buildroot
- buildroot login:
Add Comment
Please, Sign In to add comment