API tools faq
paste
Advertisement
Guest User

Untitled

a guest
Jul 8th, 2021
163
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 65.46 KB | None | 0 0
raw download clone embed print report
  1. [1/377] Building ASM object sel4runtime/CMakeFiles/sel4runtime_crt_obj.dir/crt/sel4_arch/aarch64/crti.S.obj
  2. [2/377] Generate dummy headers for prune compilation
  3. [3/377] Building ASM object sel4runtime/CMakeFiles/sel4runtime_crt_obj.dir/crt/sel4_arch/aarch64/crtn.S.obj
  4. [4/377] Building ASM object sel4runtime/CMakeFiles/sel4runtime_crt_obj.dir/crt/sel4_arch/aarch64/crt0.S.obj
  5. [5/377] Building ASM object sel4runtime/CMakeFiles/sel4runtime_crt_obj.dir/crt/sel4_arch/aarch64/sel4_crt0.S.obj
  6. [6/377] Creating C input file for preprocessor
  7. [7/377] Building C object libsel4/CMakeFiles/libsel4_sel4_arch_types_gen_pbf_temp_lib.dir/libsel4_sel4_arch_types_gen_pbf_temp.c.obj
  8. [8/377] Generating generated/sel4_arch_shared_types/types.pbf
  9. [9/377] Using cache musllibc build
  10. [10/377] Creating C input file for preprocessor
  11. [11/377] Generating ../lib/crt0.o, ../lib/crti.o, ../lib/crtn.o
  12. [12/377] Generating capdl/capdl-loader-app/gen_config/capdl_loader_app/platform_info.h
  13. [13/377] Building C object libsel4/CMakeFiles/libsel4_shared_types_gen_pbf_temp_lib.dir/libsel4_shared_types_gen_pbf_temp.c.obj
  14. [14/377] Generating generated/shared_types_gen/shared_types.pbf
  15. [15/377] Building C object util_libs/libutils/CMakeFiles/utils.dir/src/arch/arm/stack.c.obj
  16. [16/377] Building C object util_libs/libutils/CMakeFiles/utils.dir/src/cbor64.c.obj
  17. [17/377] Using cache capDL-tool build
  18. [18/377] Generating from /home/nio/alex/seL4/build/camkes-vm-apps/s32g-build/libsel4/generated/sel4_arch_shared_types/types.pbf
  19. [19/377] Generate sel4_client.h
  20. [20/377] Generating from /home/nio/alex/seL4/build/camkes-vm-apps/s32g-build/libsel4/generated/shared_types_gen/shared_types.pbf
  21. [21/377] Building C object util_libs/libutils/CMakeFiles/utils.dir/src/debug.c.obj
  22. [22/377] Building C object util_libs/libutils/CMakeFiles/utils.dir/src/list.c.obj
  23. [23/377] Generate invocation header gen_headers/api/invocation.h
  24. [24/377] Generate invocation header gen_headers/arch/api/invocation.h
  25. [25/377] Generate invocation header gen_headers/arch/api/sel4_invocation.h
  26. [26/377] Building C object util_libs/libutils/CMakeFiles/utils.dir/src/xml.c.obj
  27. [27/377] Building C object util_libs/libutils/CMakeFiles/utils.dir/src/zf_log.c.obj
  28. [28/377] Generate syscall invocations
  29. [29/377] Building C object util_libs/libplatsupport/CMakeFiles/platsupport.dir/src/io.c.obj
  30. [30/377] Building C object util_libs/libplatsupport/CMakeFiles/platsupport.dir/src/fdt.c.obj
  31. [31/377] Building C object util_libs/libplatsupport/CMakeFiles/platsupport.dir/src/local_time_manager.c.obj
  32. [32/377] Linking C static library util_libs/libutils/libutils.a
  33. [33/377] Creating C input file for preprocessor
  34. [34/377] Building C object kernel/CMakeFiles/kernel_bf_gen_target_1_pbf_temp_lib.dir/kernel_bf_gen_target_1_pbf_temp.c.obj
  35. [35/377] Building C object util_libs/libplatsupport/CMakeFiles/platsupport.dir/src/plat/s32g274a-rdb2/chardev.c.obj
  36. [36/377] Concatenating C files
  37. [37/377] Generating generated/arch/object/structures.bf.pbf
  38. [38/377] Building C object util_libs/libplatsupport/CMakeFiles/platsupport.dir/src/plat/s32g274a-rdb2/clock.c.obj
  39. [39/377] Creating C input file for preprocessor
  40. [40/377] Building C object util_libs/libplatsupport/CMakeFiles/platsupport.dir/src/tqueue.c.obj
  41. [41/377] Building C object util_libs/libplatsupport/CMakeFiles/platsupport.dir/src/arch/arm/dma330.c.obj
  42. [42/377] Building C object util_libs/libplatsupport/CMakeFiles/platsupport.dir/src/serial.c.obj
  43. [43/377] Building C object util_libs/libplatsupport/CMakeFiles/platsupport.dir/src/arch/arm/delay.c.obj
  44. [44/377] Building C object util_libs/libplatsupport/CMakeFiles/platsupport.dir/src/arch/arm/i2c_bitbang.c.obj
  45. [45/377] Building C object util_libs/libplatsupport/CMakeFiles/platsupport.dir/src/arch/arm/clock.c.obj
  46. [46/377] Building C object util_libs/libplatsupport/CMakeFiles/platsupport.dir/src/arch/arm/generic_timer.c.obj
  47. [47/377] Generate invocation header arch_include/arm/sel4/arch/invocation.h
  48. [48/377] Building C object util_libs/libplatsupport/CMakeFiles/platsupport.dir/src/arch/arm/generic_ltimer.c.obj
  49. [49/377] Building C object util_libs/libplatsupport/CMakeFiles/platsupport.dir/src/arch/arm/i2c.c.obj
  50. [50/377] Building C object util_libs/libplatsupport/CMakeFiles/platsupport.dir/src/arch/arm/irqchip/gic.c.obj
  51. [51/377] Building C object util_libs/libelf/CMakeFiles/elf.dir/src/elf.c.obj
  52. [52/377] Building C object util_libs/libplatsupport/CMakeFiles/platsupport.dir/src/arch/arm/irqchip/avic.c.obj
  53. [53/377] Generate invocation header include/sel4/invocation.h
  54. [54/377] Building C object util_libs/libelf/CMakeFiles/elf.dir/src/elf32.c.obj
  55. [55/377] Building C object kernel/CMakeFiles/kernel_all_pp_prune_wrapper_temp_lib.dir/kernel_all_pp_prune_wrapper_temp.c.obj
  56. [56/377] Building C object util_libs/libplatsupport/CMakeFiles/platsupport.dir/src/arch/arm/irqchip/gicv3.c.obj
  57. [57/377] Building C object util_libs/libplatsupport/CMakeFiles/platsupport.dir/src/arch/arm/irqchip/omap3.c.obj
  58. [58/377] Building C object util_libs/libelf/CMakeFiles/elf.dir/src/elf64.c.obj
  59. [59/377] Building C object util_libs/libcpio/CMakeFiles/cpio.dir/src/cpio.c.obj
  60. [60/377] Building C object util_libs/libpci/CMakeFiles/pci.dir/src/helper.c.obj
  61. [61/377] Generating kernel_all_pp_prune.c
  62. [62/377] Building C object util_libs/libpci/CMakeFiles/pci.dir/src/ioreg.c.obj
  63. [63/377] Building C object util_libs/libpci/CMakeFiles/pci.dir/src/pci.c.obj
  64. [64/377] Building C object util_libs/libpci/CMakeFiles/pci.dir/src/virtual_device.c.obj
  65. [65/377] Building C object util_libs/libethdrivers/CMakeFiles/ethdrivers.dir/src/lwip.c.obj
  66. [66/377] Building C object util_libs/libethdrivers/CMakeFiles/ethdrivers.dir/src/helpers.c.obj
  67. [67/377] Building C object util_libs/libplatsupport/CMakeFiles/platsupport.dir/src/arch/arm/irqchip/tegra.c.obj
  68. [68/377] Linking C static library util_libs/libcpio/libcpio.a
  69. [69/377] Building C object util_libs/libpci/CMakeFiles/pci.dir/src/virtual_pci.c.obj
  70. [70/377] Building C object util_libs/libethdrivers/CMakeFiles/ethdrivers.dir/src/pico_dev_eth.c.obj
  71. [71/377] Linking C static library util_libs/libelf/libelf.a
  72. [72/377] Building C object util_libs/libplatsupport/CMakeFiles/platsupport.dir/src/mach/s32g2/serial/serial.c.obj
  73. [73/377] Building C object util_libs/libethdrivers/CMakeFiles/ethdrivers.dir/src/virtio_pci.c.obj
  74. [74/377] Building C object util_libs/libfdt/CMakeFiles/fdt.dir/fdt.c.obj
  75. [75/377] Building C object util_libs/libfdt/CMakeFiles/fdt.dir/fdt_addresses.c.obj
  76. [76/377] Building C object util_libs/libfdt/CMakeFiles/fdt.dir/fdt_empty_tree.c.obj
  77. [77/377] Building C object util_libs/libfdt/CMakeFiles/fdt.dir/fdt_overlay.c.obj
  78. [78/377] Building C object util_libs/libfdt/CMakeFiles/fdt.dir/fdt_ro.c.obj
  79. [79/377] Building C object util_libs/libfdt/CMakeFiles/fdt.dir/fdt_rw.c.obj
  80. [80/377] Building C object util_libs/libfdt/CMakeFiles/fdt.dir/fdt_strerror.c.obj
  81. [81/377] Building C object util_libs/libfdt/CMakeFiles/fdt.dir/fdt_sw.c.obj
  82. [82/377] Building C object util_libs/libfdt/CMakeFiles/fdt.dir/fdt_wip.c.obj
  83. [83/377] Building C object util_libs/libfdt/CMakeFiles/fdt.dir/fdtget.c.obj
  84. [84/377] Building C object projects_libs/libvirtqueue/CMakeFiles/virtqueue.dir/src/virtqueue.c.obj
  85. [85/377] Building C object projects_libs/libfdtgen/CMakeFiles/fdtgen.dir/fdtgen.c.obj
  86. [86/377] Building C object sel4_projects_libs/libsel4dma/CMakeFiles/sel4dma.dir/src/dma.c.obj
  87. /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4dma/src/dma.c:32:2: warning: #warning Unknown platform. DMA alignment defaulting to 32 bytes. [-Wcpp]
  88. #warning Unknown platform. DMA alignment defaulting to 32 bytes.
  89. ^~~~~~~
  90. [87/377] Generating file_server/linux-initrd
  91. [88/377] Linking C static library util_libs/libfdt/libfdt.a
  92. [89/377] Linking C static library projects_libs/libvirtqueue/libvirtqueue.a
  93. [90/377] Generating file_server/linux
  94. [91/377] Linking C static library projects_libs/libfdtgen/libfdtgen.a
  95. [92/377] Linking C static library util_libs/libplatsupport/libplatsupport.a
  96. [93/377] Linking C static library util_libs/libethdrivers/libethdrivers.a
  97. [94/377] Linking C static library sel4_projects_libs/libsel4dma/libsel4dma.a
  98. [95/377] Linking C static library util_libs/libpci/libpci.a
  99. [96/377] Generate invocation header sel4_arch_include/aarch64/sel4/sel4_arch/invocation.h
  100. [97/377] Generate syscall.h
  101. [98/377] Building ASM object sel4runtime/CMakeFiles/sel4runtime.dir/crt/sel4_arch/aarch64/crti.S.obj
  102. [99/377] Building ASM object sel4runtime/CMakeFiles/sel4runtime.dir/crt/sel4_arch/aarch64/crtn.S.obj
  103. [100/377] Building ASM object sel4runtime/CMakeFiles/sel4runtime.dir/crt/sel4_arch/aarch64/crt0.S.obj
  104. [101/377] Building ASM object sel4runtime/CMakeFiles/sel4runtime.dir/crt/sel4_arch/aarch64/sel4_crt0.S.obj
  105. [102/377] Building C object sel4runtime/CMakeFiles/sel4runtime.dir/src/init.c.obj
  106. [103/377] Building C object sel4runtime/CMakeFiles/sel4runtime.dir/src/memset.c.obj
  107. [104/377] Building C object sel4runtime/CMakeFiles/sel4runtime.dir/src/memcpy.c.obj
  108. [105/377] Building C object sel4runtime/CMakeFiles/sel4runtime.dir/src/vsyscall.c.obj
  109. [106/377] Building C object seL4_libs/libsel4debug/CMakeFiles/sel4debug.dir/src/alloc.c.obj
  110. [107/377] Building C object sel4runtime/CMakeFiles/sel4runtime.dir/src/crt1.c.obj
  111. [108/377] Building C object seL4_libs/libsel4debug/CMakeFiles/sel4debug.dir/src/identity.c.obj
  112. [109/377] Building C object sel4runtime/CMakeFiles/sel4runtime.dir/src/start.c.obj
  113. [110/377] Building C object sel4runtime/CMakeFiles/sel4runtime.dir/src/start_root.c.obj
  114. [111/377] Building C object libsel4/CMakeFiles/sel4.dir/src/sel4_bootinfo.c.obj
  115. [112/377] Building C object sel4runtime/CMakeFiles/sel4runtime.dir/src/env.c.obj
  116. [113/377] Building C object seL4_libs/libsel4debug/CMakeFiles/sel4debug.dir/src/stack.c.obj
  117. [114/377] Generating gen_dtb_linux-dtb
  118. [115/377] Building C object seL4_libs/libsel4debug/CMakeFiles/sel4debug.dir/src/backtrace.c.obj
  119. [116/377] Building C object seL4_libs/libsel4debug/CMakeFiles/sel4debug.dir/src/caps.c.obj
  120. /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4debug/src/caps.c: In function ‘debug_cap_identify’:
  121. /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4debug/src/caps.c:17:18: warning: format ‘%d’ expects argument of type ‘int’, but argument 2 has type ‘seL4_CPtr {aka long unsigned int}’ [-Wformat=]
  122. printf("Cap %d has type %d\n", cap, type);
  123. ~^
  124. %ld
  125. [117/377] Building C object seL4_libs/libsel4debug/CMakeFiles/sel4debug.dir/src/printf.c.obj
  126. [118/377] Linking C static library libsel4/libsel4.a
  127. [119/377] Building C object seL4_libs/libsel4debug/CMakeFiles/sel4debug.dir/src/bootinfo.c.obj
  128. [120/377] Building C object seL4_libs/libsel4debug/CMakeFiles/sel4debug.dir/src/trace.c.obj
  129. [121/377] Building C object seL4_libs/libsel4debug/CMakeFiles/sel4debug.dir/src/register_dump.c.obj
  130. [122/377] Building C object seL4_libs/libsel4allocman/CMakeFiles/sel4allocman.dir/src/mspace/k_r_malloc.c.obj
  131. [123/377] Linking C static library sel4runtime/libsel4runtime.a
  132. [124/377] Generating from generated/arch/object/structures.bf.pbf
  133. [125/377] Linking C static library seL4_libs/libsel4debug/libsel4debug.a
  134. [126/377] Creating C input file for preprocessor
  135. [127/377] Building C object seL4_libs/libsel4allocman/CMakeFiles/sel4allocman.dir/src/mspace/dual_pool.c.obj
  136. [128/377] Building C object seL4_libs/libsel4allocman/CMakeFiles/sel4allocman.dir/src/allocman.c.obj
  137. [129/377] Building C object kernel/CMakeFiles/kernel_bf_gen_target_11_pbf_temp_lib.dir/kernel_bf_gen_target_11_pbf_temp.c.obj
  138. [130/377] Building C object seL4_libs/libsel4allocman/CMakeFiles/sel4allocman.dir/src/cspace/single_level.c.obj
  139. [131/377] Generating generated/sel4/shared_types.bf.pbf
  140. [132/377] Building C object seL4_libs/libsel4allocman/CMakeFiles/sel4allocman.dir/src/bootstrap.c.obj
  141. [133/377] Building C object seL4_libs/libsel4allocman/CMakeFiles/sel4allocman.dir/src/cspace/simple1level.c.obj
  142. [134/377] Building C object seL4_libs/libsel4allocman/CMakeFiles/sel4allocman.dir/src/mspace/malloc.c.obj
  143. [135/377] Building C object seL4_libs/libsel4allocman/CMakeFiles/sel4allocman.dir/src/cspace/two_level.c.obj
  144. [136/377] Building C object seL4_libs/libsel4allocman/CMakeFiles/sel4allocman.dir/src/mspace/fixed_pool.c.obj
  145. [137/377] Building C object seL4_libs/libsel4allocman/CMakeFiles/sel4allocman.dir/src/vka.c.obj
  146. [138/377] Building C object seL4_libs/libsel4allocman/CMakeFiles/sel4allocman.dir/src/mspace/virtual_pool.c.obj
  147. [139/377] Building C object seL4_libs/libsel4allocman/CMakeFiles/sel4allocman.dir/src/mspace/vspace_pool.c.obj
  148. [140/377] Building C object seL4_libs/libsel4vka/CMakeFiles/sel4vka.dir/src/debug-vka.c.obj
  149. [141/377] Building C object seL4_libs/libsel4utils/CMakeFiles/sel4utils.dir/src/iommu_dma.c.obj
  150. [142/377] Building C object seL4_libs/libsel4allocman/CMakeFiles/sel4allocman.dir/src/utspace/split.c.obj
  151. [143/377] Building C object seL4_libs/libsel4vka/CMakeFiles/sel4vka.dir/src/null-vka.c.obj
  152. [144/377] Building C object seL4_libs/libsel4allocman/CMakeFiles/sel4allocman.dir/src/utspace/twinkle.c.obj
  153. [145/377] Linking C static library seL4_libs/libsel4vka/libsel4vka.a
  154. [146/377] Building C object seL4_libs/libsel4utils/CMakeFiles/sel4utils.dir/src/elf.c.obj
  155. [147/377] Building C object seL4_libs/libsel4utils/CMakeFiles/sel4utils.dir/src/mapping.c.obj
  156. [148/377] Building C object seL4_libs/libsel4utils/CMakeFiles/sel4utils.dir/src/page_dma.c.obj
  157. [149/377] Building C object seL4_libs/libsel4utils/CMakeFiles/sel4utils.dir/src/irq_server/irq_server.c.obj
  158. [150/377] Building C object seL4_libs/libsel4utils/CMakeFiles/sel4utils.dir/src/slab.c.obj
  159. [151/377] Building C object seL4_libs/libsel4utils/CMakeFiles/sel4utils.dir/src/process.c.obj
  160. [152/377] Building C object seL4_libs/libsel4utils/CMakeFiles/sel4utils.dir/src/profile.c.obj
  161. [153/377] Building C object seL4_libs/libsel4utils/CMakeFiles/sel4utils.dir/src/strerror.c.obj
  162. [154/377] Building C object seL4_libs/libsel4utils/CMakeFiles/sel4utils.dir/src/stack.c.obj
  163. [155/377] Building C object seL4_libs/libsel4utils/CMakeFiles/sel4utils.dir/src/sel4_arch/aarch64/arch.c.obj
  164. [156/377] Building C object seL4_libs/libsel4vspace/CMakeFiles/sel4vspace.dir/src/arch/arm/mapping.c.obj
  165. [157/377] Generating from generated/sel4/shared_types.bf.pbf
  166. [158/377] Building C object seL4_libs/libsel4utils/CMakeFiles/sel4utils.dir/src/time_server/client.c.obj
  167. [159/377] Building C object seL4_libs/libsel4vspace/CMakeFiles/sel4vspace.dir/src/sel4_arch/aarch64/mapping.c.obj
  168. [160/377] Building C object seL4_libs/libsel4utils/CMakeFiles/sel4utils.dir/src/vspace/bootstrap.c.obj
  169. [161/377] Creating C input file for preprocessor
  170. [162/377] Building C object seL4_libs/libsel4utils/CMakeFiles/sel4utils.dir/src/thread.c.obj
  171. [163/377] Building C object seL4_libs/libsel4vspace/CMakeFiles/sel4vspace.dir/src/vspace.c.obj
  172. [164/377] Creating C input file for preprocessor
  173. [165/377] Building C object seL4_libs/libsel4utils/CMakeFiles/sel4utils.dir/src/vspace/vspace.c.obj
  174. [166/377] Building C object seL4_libs/libsel4platsupport/CMakeFiles/sel4platsupport.dir/src/arch/arm/pmem.c.obj
  175. [167/377] Building C object kernel/CMakeFiles/linker_ld_wrapper_temp_lib.dir/linker_ld_wrapper_temp.c.obj
  176. [168/377] Generating linker.lds_pp
  177. [169/377] Linking C static library seL4_libs/libsel4vspace/libsel4vspace.a
  178. [170/377] Building ASM object seL4_libs/libsel4platsupport/CMakeFiles/sel4platsupport.dir/src/sel4_arch/aarch64/crt0.S.obj
  179. [171/377] Building C object seL4_libs/libsel4platsupport/CMakeFiles/sel4platsupport.dir/src/arch/arm/io_port_ops.c.obj
  180. [172/377] Building C object seL4_libs/libsel4platsupport/CMakeFiles/sel4platsupport.dir/src/bootinfo.c.obj
  181. [173/377] Building C object seL4_libs/libsel4platsupport/CMakeFiles/sel4platsupport.dir/src/arch/arm/device.c.obj
  182. [174/377] Building C object seL4_libs/libsel4platsupport/CMakeFiles/sel4platsupport.dir/src/common.c.obj
  183. [175/377] Building C object seL4_libs/libsel4platsupport/CMakeFiles/sel4platsupport.dir/src/device.c.obj
  184. [176/377] Building C object seL4_libs/libsel4muslcsys/CMakeFiles/sel4muslcsys.dir/src/sys_exit.c.obj
  185. [177/377] Building C object seL4_libs/libsel4platsupport/CMakeFiles/sel4platsupport.dir/src/io.c.obj
  186. [178/377] Building C object seL4_libs/libsel4muslcsys/CMakeFiles/sel4muslcsys.dir/src/sys_yield.c.obj
  187. [179/377] Building C object seL4_libs/libsel4muslcsys/CMakeFiles/sel4muslcsys.dir/src/sys_morecore.c.obj
  188. [180/377] Building C object kernel/CMakeFiles/kernel_i_wrapper_temp_lib.dir/kernel_all_copy.c.obj
  189. [181/377] Building C object seL4_libs/libsel4muslcsys/CMakeFiles/sel4muslcsys.dir/src/sys_io.c.obj
  190. [182/377] Building C object seL4_libs/libsel4simple/CMakeFiles/sel4simple.dir/src/simple.c.obj
  191. [183/377] Building C object seL4_libs/libsel4bench/CMakeFiles/sel4bench.dir/src/arch/arm/armv/armv8-a/event_counters.c.obj
  192. [184/377] Generating kernel_all.i
  193. [185/377] Building C object seL4_libs/libsel4platsupport/CMakeFiles/sel4platsupport.dir/src/serial.c.obj
  194. [186/377] Building C object seL4_libs/libsel4muslcsys/CMakeFiles/sel4muslcsys.dir/src/sys_thread.c.obj
  195. [187/377] Building C object seL4_libs/libsel4platsupport/CMakeFiles/sel4platsupport.dir/src/irq.c.obj
  196. [188/377] Building C object seL4_libs/libsel4platsupport/CMakeFiles/sel4platsupport.dir/src/timer.c.obj
  197. [189/377] Building C object seL4_libs/libsel4muslcsys/CMakeFiles/sel4muslcsys.dir/src/vsyscall.c.obj
  198. [190/377] Building C object seL4_libs/libsel4bench/CMakeFiles/sel4bench.dir/src/kernel_logging.c.obj
  199. [191/377] Linking C static library seL4_libs/libsel4simple/libsel4simple.a
  200. [192/377] Building C object seL4_libs/libsel4bench/CMakeFiles/sel4bench.dir/src/arch/arm/cpu/cortex-a53/event_counters.c.obj
  201. [193/377] Building C object seL4_libs/libsel4bench/CMakeFiles/sel4bench.dir/src/arch/arm/event_counters.c.obj
  202. [194/377] Building C object seL4_libs/libsel4bench/CMakeFiles/sel4bench.dir/src/logging.c.obj
  203. [195/377] Building C object seL4_libs/libsel4simple-default/CMakeFiles/sel4simple-default.dir/src/arch/arm/default.c.obj
  204. [196/377] Building C object camkes-tool/libsel4camkes/CMakeFiles/sel4camkes.dir/src/allocator.c.obj
  205. [197/377] Building C object seL4_libs/libsel4bench/CMakeFiles/sel4bench.dir/src/event_counters.c.obj
  206. [198/377] Building C object camkes-tool/libsel4camkes/CMakeFiles/sel4camkes.dir/src/arch/arm/dataport.c.obj
  207. [199/377] Building C object seL4_libs/libsel4sync/CMakeFiles/sel4sync.dir/src/recursive_mutex.c.obj
  208. [200/377] Building C object camkes-tool/libsel4camkes/CMakeFiles/sel4camkes.dir/src/sel4_arch/aarch64/memset.c.obj
  209. [201/377] Building C object camkes-tool/libsel4camkes/CMakeFiles/sel4camkes.dir/src/sel4_arch/aarch64/unknown_syscall_fault.c.obj
  210. [202/377] Building C object camkes-tool/libsel4camkes/CMakeFiles/sel4camkes.dir/src/io.c.obj
  211. [203/377] Building C object camkes-tool/libsel4camkes/CMakeFiles/sel4camkes.dir/src/msgqueue_template.c.obj
  212. [204/377] Building C object camkes-tool/libsel4camkes/CMakeFiles/sel4camkes.dir/src/fault.c.obj
  213. [205/377] Building C object camkes-tool/libsel4camkes/CMakeFiles/sel4camkes.dir/src/arch/arm/io.c.obj
  214. [206/377] Building C object camkes-tool/libsel4camkes/CMakeFiles/sel4camkes.dir/src/dataport.c.obj
  215. [207/377] Building C object camkes-tool/libsel4camkes/CMakeFiles/sel4camkes.dir/src/dma.c.obj
  216. [208/377] Building C object camkes-tool/libsel4camkes/CMakeFiles/sel4camkes.dir/src/error.c.obj
  217. [209/377] Building C object camkes-tool/libsel4camkes/CMakeFiles/sel4camkes.dir/src/interface_registration.c.obj
  218. [210/377] Building C object camkes-tool/libsel4camkes/CMakeFiles/sel4camkes.dir/src/irq.c.obj
  219. [211/377] Building ASM object camkes-tool/libsel4camkes/CMakeFiles/sel4camkes.dir/src/sel4_arch/aarch64/crt0.S.obj
  220. [212/377] Building C object camkes-tool/libsel4camkes/CMakeFiles/sel4camkes.dir/src/msgqueue.c.obj
  221. [213/377] Building C object camkes-tool/libsel4camkes/CMakeFiles/sel4camkes.dir/src/start.c.obj
  222. [214/377] Building C object camkes-tool/libsel4camkes/CMakeFiles/sel4camkes.dir/src/sys_clock.c.obj
  223. [215/377] Building C object seL4_libs/libsel4simple-default/CMakeFiles/sel4simple-default.dir/src/libsel4simple-default.c.obj
  224. [216/377] Linking C static library seL4_libs/libsel4bench/libsel4bench.a
  225. [217/377] Building C object camkes-tool/libsel4camkes/CMakeFiles/sel4camkes.dir/src/sys_exit.c.obj
  226. [218/377] Linking C static library seL4_libs/libsel4sync/libsel4sync.a
  227. [219/377] Building C object camkes-tool/libsel4camkes/CMakeFiles/sel4camkes.dir/src/sys_madvise.c.obj
  228. [220/377] Building C object camkes-tool/libsel4camkes/CMakeFiles/sel4camkes.dir/src/sync.c.obj
  229. [221/377] Building C object camkes-tool/libsel4camkes/CMakeFiles/sel4camkes.dir/src/sys_select.c.obj
  230. [222/377] Building C object camkes-tool/libsel4camkes/CMakeFiles/sel4camkes.dir/src/sys_io.c.obj
  231. [223/377] Building C object camkes-tool/libsel4camkes/CMakeFiles/sel4camkes.dir/src/sys_signal.c.obj
  232. [224/377] Building C object camkes-tool/libsel4camkes/CMakeFiles/sel4camkes.dir/src/sys_thread.c.obj
  233. [225/377] Building C object camkes-tool/libsel4camkes/CMakeFiles/sel4camkes.dir/src/sys_pause.c.obj
  234. [226/377] Building C object camkes-tool/libsel4camkes/CMakeFiles/sel4camkes.dir/src/sys_yield.c.obj
  235. [227/377] Building C object camkes-tool/libsel4camkes/CMakeFiles/sel4camkes.dir/src/sys_socket.c.obj
  236. [228/377] Building C object camkes-tool/libsel4camkes/CMakeFiles/sel4camkes.dir/src/tls.c.obj
  237. [229/377] Building C object camkes-tool/libsel4camkes/CMakeFiles/sel4camkes.dir/src/virtqueue_common.c.obj
  238. [230/377] Building C object camkes-tool/libsel4camkes/CMakeFiles/sel4camkes.dir/src/sys_uname.c.obj
  239. [231/377] Building C object camkes-tool/libsel4camkes/CMakeFiles/sel4camkes.dir/src/vsyscall.c.obj
  240. [232/377] Building C object camkes-tool/libsel4camkes/CMakeFiles/sel4camkes.dir/src/virtqueue.c.obj
  241. [233/377] Linking C static library seL4_libs/libsel4simple-default/libsel4simple-default.a
  242. [234/377] Building C object camkes-tool/libsel4camkes/CMakeFiles/sel4camkes.dir/src/virtqueue_template.c.obj
  243. [235/377] Generating object_sizes.yaml
  244. [236/377] Building C object sel4_projects_libs/libsel4vm/CMakeFiles/sel4vm.dir/src/arch/arm/guest_arm_context.c.obj
  245. [237/377] Building C object sel4_projects_libs/libsel4vm/CMakeFiles/sel4vm.dir/src/arch/arm/guest_irq_controller.c.obj
  246. [238/377] Building C object sel4_projects_libs/libsel4vm/CMakeFiles/sel4vm.dir/src/arch/arm/boot.c.obj
  247. [239/377] Building C object sel4_projects_libs/libsel4vm/CMakeFiles/sel4vm.dir/src/arch/arm/fault.c.obj
  248. [240/377] Building C object sel4_projects_libs/libsel4vm/CMakeFiles/sel4vm.dir/src/arch/arm/guest_memory_arch.c.obj
  249. [241/377] Building C object sel4_projects_libs/libsel4vm/CMakeFiles/sel4vm.dir/src/arch/arm/guest_vcpu_fault_arch.c.obj
  250. [242/377] Building C object sel4_projects_libs/libsel4vm/CMakeFiles/sel4vm.dir/src/arch/arm/syscalls.c.obj
  251. [243/377] Building C object sel4_projects_libs/libsel4vm/CMakeFiles/sel4vm.dir/src/arch/arm/mem_abort.c.obj
  252. [244/377] Building C object sel4_projects_libs/libsel4vm/CMakeFiles/sel4vm.dir/src/arch/arm/vm.c.obj
  253. In file included from /home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libutils/include/utils/util.h:46:0,
  254. from /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4vka/include/vka/vka.h:19,
  255. from /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/include/sel4vm/guest_vm.h:11,
  256. from /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/src/arch/arm/vm.c:14:
  257. /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/src/arch/arm/vm.c: In function ‘vm_vppi_event_handler’:
  258. /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/src/arch/arm/vm.c:97:17: warning: format ‘%d’ expects argument of type ‘int’, but argument 7 has type ‘seL4_Word {aka long unsigned int}’ [-Wformat=]
  259. ZF_LOGE("VPPI IRQ %d dropped on vcpu %d", ppi_irq, vcpu->vcpu_id);
  260. ^
  261. /home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libutils/include/utils/zf_log.h:302:18: note: in definition of macro ‘_ZF_LOG_IMP’
  262. lvl, tag, __VA_ARGS__); \
  263. ^~~~~~~~~~~
  264. /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/src/arch/arm/vm.c:97:9: note: in expansion of macro ‘ZF_LOGE’
  265. ZF_LOGE("VPPI IRQ %d dropped on vcpu %d", ppi_irq, vcpu->vcpu_id);
  266. ^~~~~~~
  267. [245/377] Building C object sel4_projects_libs/libsel4vm/CMakeFiles/sel4vm.dir/src/boot.c.obj
  268. [246/377] Building C object sel4_projects_libs/libsel4vm/CMakeFiles/sel4vm.dir/src/guest_memory.c.obj
  269. In file included from /home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libutils/include/utils/util.h:46:0,
  270. from /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4vka/include/vka/vka.h:19,
  271. from /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/include/sel4vm/guest_vm.h:11,
  272. from /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/src/guest_memory.c:13:
  273. /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/src/guest_memory.c: In function ‘vm_reserve_memory_at’:
  274. /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/src/guest_memory.c:328:17: warning: format ‘%x’ expects argument of type ‘unsigned int’, but argument 7 has type ‘uintptr_t {aka long unsigned int}’ [-Wformat=]
  275. ZF_LOGE("Failed to allocate vm reservation: Unable to create vspace reservation at address 0x%x of size %zu",
  276. ^
  277. /home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libutils/include/utils/zf_log.h:302:18: note: in definition of macro ‘_ZF_LOG_IMP’
  278. lvl, tag, __VA_ARGS__); \
  279. ^~~~~~~~~~~
  280. /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/src/guest_memory.c:328:9: note: in expansion of macro ‘ZF_LOGE’
  281. ZF_LOGE("Failed to allocate vm reservation: Unable to create vspace reservation at address 0x%x of size %zu",
  282. ^~~~~~~
  283. /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/src/guest_memory.c: In function ‘map_vm_memory_reservation’:
  284. /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/src/guest_memory.c:477:21: warning: format ‘%x’ expects argument of type ‘unsigned int’, but argument 7 has type ‘uintptr_t {aka long unsigned int}’ [-Wformat=]
  285. ZF_LOGE("Failed to map address 0x%x into guest vm vspace", reservation_frame.vaddr);
  286. ^ ~~~~~~~~~~~~~~~~~~~
  287. /home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libutils/include/utils/zf_log.h:302:18: note: in definition of macro ‘_ZF_LOG_IMP’
  288. lvl, tag, __VA_ARGS__); \
  289. ^~~~~~~~~~~
  290. /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/src/guest_memory.c:477:13: note: in expansion of macro ‘ZF_LOGE’
  291. ZF_LOGE("Failed to map address 0x%x into guest vm vspace", reservation_frame.vaddr);
  292. ^~~~~~~
  293. [247/377] Building C object sel4_projects_libs/libsel4vm/CMakeFiles/sel4vm.dir/src/guest_memory_helpers.c.obj
  294. In file included from /home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libutils/include/utils/util.h:46:0,
  295. from /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4vka/include/vka/vka.h:19,
  296. from /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/include/sel4vm/guest_vm.h:11,
  297. from /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/src/guest_memory_helpers.c:7:
  298. /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/src/guest_memory_helpers.c: In function ‘default_error_fault_callback’:
  299. /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/src/guest_memory_helpers.c:13:13: warning: format ‘%x’ expects argument of type ‘unsigned int’, but argument 7 has type ‘uintptr_t {aka long unsigned int}’ [-Wformat=]
  300. ZF_LOGE("Failed to handle fault addr: 0x%x", fault_addr);
  301. ^
  302. /home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libutils/include/utils/zf_log.h:302:18: note: in definition of macro ‘_ZF_LOG_IMP’
  303. lvl, tag, __VA_ARGS__); \
  304. ^~~~~~~~~~~
  305. /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/src/guest_memory_helpers.c:13:5: note: in expansion of macro ‘ZF_LOGE’
  306. ZF_LOGE("Failed to handle fault addr: 0x%x", fault_addr);
  307. ^~~~~~~
  308. [248/377] Linking C static library seL4_libs/libsel4platsupport/libsel4platsupport.a
  309. [249/377] Building C object sel4_projects_libs/libsel4vm/CMakeFiles/sel4vm.dir/src/guest_vspace.c.obj
  310. [250/377] Building C object sel4_projects_libs/libsel4vm/CMakeFiles/sel4vm.dir/src/guest_ram.c.obj
  311. In file included from /home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libutils/include/utils/util.h:46:0,
  312. from /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4vka/include/vka/vka.h:19,
  313. from /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/include/sel4vm/guest_vm.h:11,
  314. from /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/src/guest_ram.c:13:
  315. /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/src/guest_ram.c: In function ‘ram_alloc_iterator’:
  316. /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/src/guest_ram.c:260:17: warning: format ‘%x’ expects argument of type ‘unsigned int’, but argument 7 has type ‘uintptr_t {aka long unsigned int}’ [-Wformat=]
  317. ZF_LOGE("Failed to allocate frame for address 0x%x", addr);
  318. ^
  319. /home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libutils/include/utils/zf_log.h:302:18: note: in definition of macro ‘_ZF_LOG_IMP’
  320. lvl, tag, __VA_ARGS__); \
  321. ^~~~~~~~~~~
  322. /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/src/guest_ram.c:260:9: note: in expansion of macro ‘ZF_LOGE’
  323. ZF_LOGE("Failed to allocate frame for address 0x%x", addr);
  324. ^~~~~~~
  325. /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/src/guest_ram.c: In function ‘vm_ram_register’:
  326. /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/src/guest_ram.c:329:17: warning: format ‘%x’ expects argument of type ‘unsigned int’, but argument 7 has type ‘size_t {aka long unsigned int}’ [-Wformat=]
  327. ZF_LOGE("Unable to reserve ram region of size 0x%x", bytes);
  328. ^
  329. /home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libutils/include/utils/zf_log.h:302:18: note: in definition of macro ‘_ZF_LOG_IMP’
  330. lvl, tag, __VA_ARGS__); \
  331. ^~~~~~~~~~~
  332. /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/src/guest_ram.c:329:9: note: in expansion of macro ‘ZF_LOGE’
  333. ZF_LOGE("Unable to reserve ram region of size 0x%x", bytes);
  334. ^~~~~~~
  335. /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/src/guest_ram.c: In function ‘vm_ram_register_at’:
  336. /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/src/guest_ram.c:355:17: warning: format ‘%x’ expects argument of type ‘unsigned int’, but argument 7 has type ‘uintptr_t {aka long unsigned int}’ [-Wformat=]
  337. ZF_LOGE("Unable to reserve ram region at addr 0x%x of size 0x%x", start, bytes);
  338. ^
  339. /home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libutils/include/utils/zf_log.h:302:18: note: in definition of macro ‘_ZF_LOG_IMP’
  340. lvl, tag, __VA_ARGS__); \
  341. ^~~~~~~~~~~
  342. /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/src/guest_ram.c:355:9: note: in expansion of macro ‘ZF_LOGE’
  343. ZF_LOGE("Unable to reserve ram region at addr 0x%x of size 0x%x", start, bytes);
  344. ^~~~~~~
  345. /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/src/guest_ram.c:355:17: warning: format ‘%x’ expects argument of type ‘unsigned int’, but argument 8 has type ‘size_t {aka long unsigned int}’ [-Wformat=]
  346. ZF_LOGE("Unable to reserve ram region at addr 0x%x of size 0x%x", start, bytes);
  347. ^
  348. /home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libutils/include/utils/zf_log.h:302:18: note: in definition of macro ‘_ZF_LOG_IMP’
  349. lvl, tag, __VA_ARGS__); \
  350. ^~~~~~~~~~~
  351. /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/src/guest_ram.c:355:9: note: in expansion of macro ‘ZF_LOGE’
  352. ZF_LOGE("Unable to reserve ram region at addr 0x%x of size 0x%x", start, bytes);
  353. ^~~~~~~
  354. /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/src/guest_ram.c: In function ‘vm_ram_register_at_custom_iterator’:
  355. /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/src/guest_ram.c:381:17: warning: format ‘%x’ expects argument of type ‘unsigned int’, but argument 7 has type ‘uintptr_t {aka long unsigned int}’ [-Wformat=]
  356. ZF_LOGE("Unable to reserve ram region at addr 0x%x of size 0x%x", start, bytes);
  357. ^
  358. /home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libutils/include/utils/zf_log.h:302:18: note: in definition of macro ‘_ZF_LOG_IMP’
  359. lvl, tag, __VA_ARGS__); \
  360. ^~~~~~~~~~~
  361. /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/src/guest_ram.c:381:9: note: in expansion of macro ‘ZF_LOGE’
  362. ZF_LOGE("Unable to reserve ram region at addr 0x%x of size 0x%x", start, bytes);
  363. ^~~~~~~
  364. /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/src/guest_ram.c:381:17: warning: format ‘%x’ expects argument of type ‘unsigned int’, but argument 8 has type ‘size_t {aka long unsigned int}’ [-Wformat=]
  365. ZF_LOGE("Unable to reserve ram region at addr 0x%x of size 0x%x", start, bytes);
  366. ^
  367. /home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libutils/include/utils/zf_log.h:302:18: note: in definition of macro ‘_ZF_LOG_IMP’
  368. lvl, tag, __VA_ARGS__); \
  369. ^~~~~~~~~~~
  370. /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/src/guest_ram.c:381:9: note: in expansion of macro ‘ZF_LOGE’
  371. ZF_LOGE("Unable to reserve ram region at addr 0x%x of size 0x%x", start, bytes);
  372. ^~~~~~~
  373. [251/377] Building C object sel4_projects_libs/libsel4vm/CMakeFiles/sel4vm.dir/src/guest_vcpu_fault.c.obj
  374. [252/377] Generating circular_includes_valid
  375. [253/377] Building C object kernel/CMakeFiles/kernel.elf.dir/kernel_all.c.obj
  376. [254/377] Building ASM object kernel/CMakeFiles/kernel.elf.dir/src/arch/arm/armv/armv8-a/64/machine_asm.S.obj
  377. [255/377] Building ASM object kernel/CMakeFiles/kernel.elf.dir/src/arch/arm/64/head.S.obj
  378. [256/377] Linking C static library seL4_libs/libsel4utils/libsel4utils.a
  379. [257/377] Building C object sel4_projects_libs/libsel4vm/CMakeFiles/sel4vm.dir/src/sel4_arch/aarch64/fault.c.obj
  380. [258/377] Building ASM object kernel/CMakeFiles/kernel.elf.dir/src/arch/arm/64/traps.S.obj
  381. [259/377] Building C object sel4_projects_libs/libsel4vm/CMakeFiles/sel4vm.dir/src/vm.c.obj
  382. [260/377] Linking C static library seL4_libs/libsel4muslcsys/libsel4muslcsys.a
  383. [261/377] Building C object sel4_projects_libs/libsel4vmmplatsupport/CMakeFiles/sel4vmmplatsupport.dir/src/arch/arm/devices/generic_forward_device.c.obj
  384. [262/377] Building C object sel4_projects_libs/libsel4vmmplatsupport/CMakeFiles/sel4vmmplatsupport.dir/src/arch/arm/devices/ac_device.c.obj
  385. [263/377] Linking C static library seL4_libs/libsel4allocman/libsel4allocman.a
  386. [264/377] Building C object sel4_projects_libs/libsel4vmmplatsupport/CMakeFiles/sel4vmmplatsupport.dir/src/arch/arm/guest_vcpu_fault.c.obj
  387. [265/377] Linking C executable kernel/kernel.elf
  388. [266/377] Linking C static library camkes-tool/libsel4camkes/libsel4camkes.a
  389. [267/377] Building C object sel4_projects_libs/libsel4vmmplatsupport/CMakeFiles/sel4vmmplatsupport.dir/src/arch/arm/devices/vusb.c.obj
  390. [268/377] Building C object sel4_projects_libs/libsel4vmmplatsupport/CMakeFiles/sel4vmmplatsupport.dir/src/arch/arm/service.c.obj
  391. [269/377] Building C object sel4_projects_libs/libsel4vmmplatsupport/CMakeFiles/sel4vmmplatsupport.dir/src/arch/arm/guest_reboot.c.obj
  392. [270/377] Building C object sel4_projects_libs/libsel4vmmplatsupport/CMakeFiles/sel4vmmplatsupport.dir/src/arch/arm/guest_boot_init.c.obj
  393. [271/377] Building C object sel4_projects_libs/libsel4vmmplatsupport/CMakeFiles/sel4vmmplatsupport.dir/src/arch/arm/guest_image.c.obj
  394. [272/377] Building C object sel4_projects_libs/libsel4vm/CMakeFiles/sel4vm.dir/src/arch/arm/vgic/vgic.c.obj
  395. FAILED: sel4_projects_libs/libsel4vm/CMakeFiles/sel4vm.dir/src/arch/arm/vgic/vgic.c.obj
  396. /usr/bin/ccache /usr/bin/aarch64-linux-gnu-gcc --sysroot=/home/nio/alex/seL4/build/camkes-vm-apps/s32g-build -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/arch_include/arm -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/sel4_arch_include/aarch64 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/src -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/src/arch/arm -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/src/sel4_arch/aarch64 -Imusllibc/build-temp/stage/include -I/home/nio/alex/seL4/build/camkes-vm-apps/kernel/libsel4/include -I/home/nio/alex/seL4/build/camkes-vm-apps/kernel/libsel4/arch_include/arm -I/home/nio/alex/seL4/build/camkes-vm-apps/kernel/libsel4/sel4_arch_include/aarch64 -I/home/nio/alex/seL4/build/camkes-vm-apps/kernel/libsel4/sel4_plat_include/s32g274a-rdb2 -I/home/nio/alex/seL4/build/camkes-vm-apps/kernel/libsel4/mode_include/64 -Ilibsel4/include -Ilibsel4/arch_include/arm -Ilibsel4/sel4_arch_include/aarch64 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4simple/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4simple/arch_include/arm -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libutils/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libutils/arch_include/arm -Iutil_libs/libutils/gen_config -Ilibsel4/autoconf -Ikernel/gen_config -Ilibsel4/gen_config -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4vka/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4vka/sel4_arch_include/aarch64 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4vka/arch_include/arm -IseL4_libs/libsel4vka/gen_config -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4debug/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4debug/arch_include/arm -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4debug/sel4_arch_include/aarch64 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4utils/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4utils/sel4_arch_include/aarch64 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4utils/arch_include/arm -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/sel4runtime/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/sel4runtime/include/mode/64 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/sel4runtime/include/arch/arm -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/sel4runtime/include/sel4_arch/aarch64 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4vspace/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4vspace/arch_include/arm -IseL4_libs/libsel4utils/gen_config -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4platsupport/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4platsupport/arch_include/arm -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4platsupport/plat_include/s32g274a-rdb2 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4platsupport/mach_include/s32g2 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libplatsupport/mach_include/s32g2 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libplatsupport/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libplatsupport/plat_include/s32g274a-rdb2 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libplatsupport/sel4_arch_include/aarch64 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libplatsupport/arch_include/arm -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libfdt/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libfdt/. -Iutil_libs/libplatsupport/gen_config -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4simple-default/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libelf/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libcpio/include -Isel4_projects_libs/libsel4vm/gen_config -march=armv8-a -D__KERNEL_64__ -g -nostdinc -fno-pic -fno-pie -fno-stack-protector -fno-asynchronous-unwind-tables -ftls-model=local-exec -mstrict-align -std=gnu99 -std=gnu11 -MD -MT sel4_projects_libs/libsel4vm/CMakeFiles/sel4vm.dir/src/arch/arm/vgic/vgic.c.obj -MF sel4_projects_libs/libsel4vm/CMakeFiles/sel4vm.dir/src/arch/arm/vgic/vgic.c.obj.d -o sel4_projects_libs/libsel4vm/CMakeFiles/sel4vm.dir/src/arch/arm/vgic/vgic.c.obj -c /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/src/arch/arm/vgic/vgic.c
  397. /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/src/arch/arm/vgic/vgic.c:86:2: error: #error "Unsupported platform for GIC"
  398. #error "Unsupported platform for GIC"
  399. ^~~~~
  400. /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/src/arch/arm/vgic/vgic.c: In function ‘vgic_vcpu_iterator’:
  401. /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/src/arch/arm/vgic/vgic.c:98:31: error: ‘GIC_PADDR’ undeclared (first use in this function); did you mean ‘GIC_CPU_PADDR’?
  402. #define GIC_VCPU_PADDR (GIC_PADDR + 0x6000)
  403. ^
  404. /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/src/arch/arm/vgic/vgic.c:1092:90: note: in expansion of macro ‘GIC_VCPU_PADDR’
  405. err = vka_utspace_alloc_at(vm->vka, &frame, kobject_get_type(KOBJECT_FRAME, 12), 12, GIC_VCPU_PADDR, &vka_cookie);
  406. ^~~~~~~~~~~~~~
  407. /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/src/arch/arm/vgic/vgic.c:98:31: note: each undeclared identifier is reported only once for each function it appears in
  408. #define GIC_VCPU_PADDR (GIC_PADDR + 0x6000)
  409. ^
  410. /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/src/arch/arm/vgic/vgic.c:1092:90: note: in expansion of macro ‘GIC_VCPU_PADDR’
  411. err = vka_utspace_alloc_at(vm->vka, &frame, kobject_get_type(KOBJECT_FRAME, 12), 12, GIC_VCPU_PADDR, &vka_cookie);
  412. ^~~~~~~~~~~~~~
  413. /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/src/arch/arm/vgic/vgic.c: In function ‘vm_install_vgic’:
  414. /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/src/arch/arm/vgic/vgic.c:95:31: error: ‘GIC_PADDR’ undeclared (first use in this function); did you mean ‘GIC_CPU_PADDR’?
  415. #define GIC_DIST_PADDR (GIC_PADDR + 0x1000)
  416. ^
  417. /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/src/arch/arm/vgic/vgic.c:1140:71: note: in expansion of macro ‘GIC_DIST_PADDR’
  418. vm_memory_reservation_t *vgic_dist_res = vm_reserve_memory_at(vm, GIC_DIST_PADDR, PAGE_SIZE_4K,
  419. ^~~~~~~~~~~~~~
  420. /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/src/arch/arm/vgic/vgic.c: At top level:
  421. /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/src/arch/arm/vgic/vgic.c:95:31: error: ‘GIC_PADDR’ undeclared here (not in a function); did you mean ‘GIC_CPU_PADDR’?
  422. #define GIC_DIST_PADDR (GIC_PADDR + 0x1000)
  423. ^
  424. /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/src/arch/arm/vgic/vgic.c:1175:15: note: in expansion of macro ‘GIC_DIST_PADDR’
  425. .pstart = GIC_DIST_PADDR,
  426. ^~~~~~~~~~~~~~
  427. [273/377] Building C object sel4_projects_libs/libsel4vmmplatsupport/CMakeFiles/sel4vmmplatsupport.dir/src/arch/arm/devices/vpci.c.obj
  428. FAILED: sel4_projects_libs/libsel4vmmplatsupport/CMakeFiles/sel4vmmplatsupport.dir/src/arch/arm/devices/vpci.c.obj
  429. /usr/bin/ccache /usr/bin/aarch64-linux-gnu-gcc --sysroot=/home/nio/alex/seL4/build/camkes-vm-apps/s32g-build -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vmmplatsupport/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vmmplatsupport/arch_include/arm -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vmmplatsupport/plat_include/s32g274a-rdb2 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vmmplatsupport/src/sel4_arch/aarch64 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm -Imusllibc/build-temp/stage/include -I/home/nio/alex/seL4/build/camkes-vm-apps/kernel/libsel4/include -I/home/nio/alex/seL4/build/camkes-vm-apps/kernel/libsel4/arch_include/arm -I/home/nio/alex/seL4/build/camkes-vm-apps/kernel/libsel4/sel4_arch_include/aarch64 -I/home/nio/alex/seL4/build/camkes-vm-apps/kernel/libsel4/sel4_plat_include/s32g274a-rdb2 -I/home/nio/alex/seL4/build/camkes-vm-apps/kernel/libsel4/mode_include/64 -Ilibsel4/include -Ilibsel4/arch_include/arm -Ilibsel4/sel4_arch_include/aarch64 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libutils/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libutils/arch_include/arm -Iutil_libs/libutils/gen_config -Ilibsel4/autoconf -Ikernel/gen_config -Ilibsel4/gen_config -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4utils/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4utils/sel4_arch_include/aarch64 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4utils/arch_include/arm -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/sel4runtime/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/sel4runtime/include/mode/64 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/sel4runtime/include/arch/arm -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/sel4runtime/include/sel4_arch/aarch64 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4vspace/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4vspace/arch_include/arm -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4vka/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4vka/sel4_arch_include/aarch64 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4vka/arch_include/arm -IseL4_libs/libsel4vka/gen_config -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4debug/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4debug/arch_include/arm -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4debug/sel4_arch_include/aarch64 -IseL4_libs/libsel4utils/gen_config -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4simple/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4simple/arch_include/arm -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4platsupport/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4platsupport/arch_include/arm -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4platsupport/plat_include/s32g274a-rdb2 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4platsupport/mach_include/s32g2 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libplatsupport/mach_include/s32g2 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libplatsupport/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libplatsupport/plat_include/s32g274a-rdb2 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libplatsupport/sel4_arch_include/aarch64 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libplatsupport/arch_include/arm -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libfdt/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libfdt/. -Iutil_libs/libplatsupport/gen_config -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4simple-default/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libelf/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libcpio/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libpci/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libethdrivers/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libethdrivers/plat_include/s32g274a-rdb2 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libethdrivers/arch_include/arm -Iutil_libs/libethdrivers/gen_config -Iutil_libs/liblwip/gen_config -Iutil_libs/libpicotcp/gen_config -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/arch_include/arm -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/sel4_arch_include/aarch64 -Isel4_projects_libs/libsel4vm/gen_config -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/projects_libs/libfdtgen/include -Iprojects_libs/libusbdrivers/gen_config -march=armv8-a -D__KERNEL_64__ -g -nostdinc -fno-pic -fno-pie -fno-stack-protector -fno-asynchronous-unwind-tables -ftls-model=local-exec -mstrict-align -std=gnu99 -std=gnu11 -MD -MT sel4_projects_libs/libsel4vmmplatsupport/CMakeFiles/sel4vmmplatsupport.dir/src/arch/arm/devices/vpci.c.obj -MF sel4_projects_libs/libsel4vmmplatsupport/CMakeFiles/sel4vmmplatsupport.dir/src/arch/arm/devices/vpci.c.obj.d -o sel4_projects_libs/libsel4vmmplatsupport/CMakeFiles/sel4vmmplatsupport.dir/src/arch/arm/devices/vpci.c.obj -c /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm/devices/vpci.c
  430. In file included from /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm/devices/vpci.c:24:0:
  431. /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vmmplatsupport/arch_include/arm/sel4vmmplatsupport/arch/vpci.h:17:10: fatal error: sel4vmmplatsupport/plat/vpci.h: No such file or directory
  432. #include <sel4vmmplatsupport/plat/vpci.h>
  433. ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  434. compilation terminated.
  435. [274/377] Building C object sel4_projects_libs/libsel4vmmplatsupport/CMakeFiles/sel4vmmplatsupport.dir/src/arch/arm/guest_vcpu_util.c.obj
  436. FAILED: sel4_projects_libs/libsel4vmmplatsupport/CMakeFiles/sel4vmmplatsupport.dir/src/arch/arm/guest_vcpu_util.c.obj
  437. /usr/bin/ccache /usr/bin/aarch64-linux-gnu-gcc --sysroot=/home/nio/alex/seL4/build/camkes-vm-apps/s32g-build -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vmmplatsupport/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vmmplatsupport/arch_include/arm -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vmmplatsupport/plat_include/s32g274a-rdb2 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vmmplatsupport/src/sel4_arch/aarch64 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm -Imusllibc/build-temp/stage/include -I/home/nio/alex/seL4/build/camkes-vm-apps/kernel/libsel4/include -I/home/nio/alex/seL4/build/camkes-vm-apps/kernel/libsel4/arch_include/arm -I/home/nio/alex/seL4/build/camkes-vm-apps/kernel/libsel4/sel4_arch_include/aarch64 -I/home/nio/alex/seL4/build/camkes-vm-apps/kernel/libsel4/sel4_plat_include/s32g274a-rdb2 -I/home/nio/alex/seL4/build/camkes-vm-apps/kernel/libsel4/mode_include/64 -Ilibsel4/include -Ilibsel4/arch_include/arm -Ilibsel4/sel4_arch_include/aarch64 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libutils/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libutils/arch_include/arm -Iutil_libs/libutils/gen_config -Ilibsel4/autoconf -Ikernel/gen_config -Ilibsel4/gen_config -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4utils/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4utils/sel4_arch_include/aarch64 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4utils/arch_include/arm -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/sel4runtime/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/sel4runtime/include/mode/64 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/sel4runtime/include/arch/arm -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/sel4runtime/include/sel4_arch/aarch64 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4vspace/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4vspace/arch_include/arm -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4vka/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4vka/sel4_arch_include/aarch64 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4vka/arch_include/arm -IseL4_libs/libsel4vka/gen_config -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4debug/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4debug/arch_include/arm -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4debug/sel4_arch_include/aarch64 -IseL4_libs/libsel4utils/gen_config -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4simple/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4simple/arch_include/arm -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4platsupport/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4platsupport/arch_include/arm -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4platsupport/plat_include/s32g274a-rdb2 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4platsupport/mach_include/s32g2 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libplatsupport/mach_include/s32g2 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libplatsupport/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libplatsupport/plat_include/s32g274a-rdb2 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libplatsupport/sel4_arch_include/aarch64 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libplatsupport/arch_include/arm -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libfdt/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libfdt/. -Iutil_libs/libplatsupport/gen_config -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4simple-default/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libelf/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libcpio/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libpci/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libethdrivers/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libethdrivers/plat_include/s32g274a-rdb2 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libethdrivers/arch_include/arm -Iutil_libs/libethdrivers/gen_config -Iutil_libs/liblwip/gen_config -Iutil_libs/libpicotcp/gen_config -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/arch_include/arm -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/sel4_arch_include/aarch64 -Isel4_projects_libs/libsel4vm/gen_config -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/projects_libs/libfdtgen/include -Iprojects_libs/libusbdrivers/gen_config -march=armv8-a -D__KERNEL_64__ -g -nostdinc -fno-pic -fno-pie -fno-stack-protector -fno-asynchronous-unwind-tables -ftls-model=local-exec -mstrict-align -std=gnu99 -std=gnu11 -MD -MT sel4_projects_libs/libsel4vmmplatsupport/CMakeFiles/sel4vmmplatsupport.dir/src/arch/arm/guest_vcpu_util.c.obj -MF sel4_projects_libs/libsel4vmmplatsupport/CMakeFiles/sel4vmmplatsupport.dir/src/arch/arm/guest_vcpu_util.c.obj.d -o sel4_projects_libs/libsel4vmmplatsupport/CMakeFiles/sel4vmmplatsupport.dir/src/arch/arm/guest_vcpu_util.c.obj -c /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm/guest_vcpu_util.c
  438. In file included from /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/guest_vcpu_util.h:15:0,
  439. from /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm/guest_vcpu_util.c:11:
  440. /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vmmplatsupport/arch_include/arm/sel4vmmplatsupport/arch/guest_vcpu_util.h:12:10: fatal error: sel4vmmplatsupport/plat/guest_vcpu_util.h: No such file or directory
  441. #include <sel4vmmplatsupport/plat/guest_vcpu_util.h>
  442. ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  443. compilation terminated.
  444. [275/377] Building C object sel4_projects_libs/libsel4vmmplatsupport/CMakeFiles/sel4vmmplatsupport.dir/src/arch/arm/psci.c.obj
  445. FAILED: sel4_projects_libs/libsel4vmmplatsupport/CMakeFiles/sel4vmmplatsupport.dir/src/arch/arm/psci.c.obj
  446. /usr/bin/ccache /usr/bin/aarch64-linux-gnu-gcc --sysroot=/home/nio/alex/seL4/build/camkes-vm-apps/s32g-build -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vmmplatsupport/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vmmplatsupport/arch_include/arm -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vmmplatsupport/plat_include/s32g274a-rdb2 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vmmplatsupport/src/sel4_arch/aarch64 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm -Imusllibc/build-temp/stage/include -I/home/nio/alex/seL4/build/camkes-vm-apps/kernel/libsel4/include -I/home/nio/alex/seL4/build/camkes-vm-apps/kernel/libsel4/arch_include/arm -I/home/nio/alex/seL4/build/camkes-vm-apps/kernel/libsel4/sel4_arch_include/aarch64 -I/home/nio/alex/seL4/build/camkes-vm-apps/kernel/libsel4/sel4_plat_include/s32g274a-rdb2 -I/home/nio/alex/seL4/build/camkes-vm-apps/kernel/libsel4/mode_include/64 -Ilibsel4/include -Ilibsel4/arch_include/arm -Ilibsel4/sel4_arch_include/aarch64 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libutils/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libutils/arch_include/arm -Iutil_libs/libutils/gen_config -Ilibsel4/autoconf -Ikernel/gen_config -Ilibsel4/gen_config -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4utils/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4utils/sel4_arch_include/aarch64 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4utils/arch_include/arm -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/sel4runtime/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/sel4runtime/include/mode/64 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/sel4runtime/include/arch/arm -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/sel4runtime/include/sel4_arch/aarch64 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4vspace/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4vspace/arch_include/arm -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4vka/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4vka/sel4_arch_include/aarch64 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4vka/arch_include/arm -IseL4_libs/libsel4vka/gen_config -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4debug/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4debug/arch_include/arm -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4debug/sel4_arch_include/aarch64 -IseL4_libs/libsel4utils/gen_config -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4simple/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4simple/arch_include/arm -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4platsupport/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4platsupport/arch_include/arm -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4platsupport/plat_include/s32g274a-rdb2 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4platsupport/mach_include/s32g2 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libplatsupport/mach_include/s32g2 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libplatsupport/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libplatsupport/plat_include/s32g274a-rdb2 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libplatsupport/sel4_arch_include/aarch64 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libplatsupport/arch_include/arm -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libfdt/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libfdt/. -Iutil_libs/libplatsupport/gen_config -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_libs/libsel4simple-default/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libelf/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libcpio/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libpci/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libethdrivers/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libethdrivers/plat_include/s32g274a-rdb2 -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/util_libs/libethdrivers/arch_include/arm -Iutil_libs/libethdrivers/gen_config -Iutil_libs/liblwip/gen_config -Iutil_libs/libpicotcp/gen_config -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/include -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/arch_include/arm -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vm/sel4_arch_include/aarch64 -Isel4_projects_libs/libsel4vm/gen_config -I/home/nio/alex/seL4/build/camkes-vm-apps/projects/projects_libs/libfdtgen/include -Iprojects_libs/libusbdrivers/gen_config -march=armv8-a -D__KERNEL_64__ -g -nostdinc -fno-pic -fno-pie -fno-stack-protector -fno-asynchronous-unwind-tables -ftls-model=local-exec -mstrict-align -std=gnu99 -std=gnu11 -MD -MT sel4_projects_libs/libsel4vmmplatsupport/CMakeFiles/sel4vmmplatsupport.dir/src/arch/arm/psci.c.obj -MF sel4_projects_libs/libsel4vmmplatsupport/CMakeFiles/sel4vmmplatsupport.dir/src/arch/arm/psci.c.obj.d -o sel4_projects_libs/libsel4vmmplatsupport/CMakeFiles/sel4vmmplatsupport.dir/src/arch/arm/psci.c.obj -c /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm/psci.c
  447. In file included from /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/guest_vcpu_util.h:15:0,
  448. from /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm/psci.c:13:
  449. /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vmmplatsupport/arch_include/arm/sel4vmmplatsupport/arch/guest_vcpu_util.h:12:10: fatal error: sel4vmmplatsupport/plat/guest_vcpu_util.h: No such file or directory
  450. #include <sel4vmmplatsupport/plat/guest_vcpu_util.h>
  451. ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  452. compilation terminated.
  453. [276/377] Building C object sel4_projects_libs/libsel4vmmplatsupport/CMakeFiles/sel4vmmplatsupport.dir/src/arch/arm/smc.c.obj
  454. [277/377] Building C object sel4_projects_libs/libsel4vmmplatsupport/CMakeFiles/sel4vmmplatsupport.dir/src/device.c.obj
  455. [278/377] Building C object sel4_projects_libs/libsel4vmmplatsupport/CMakeFiles/sel4vmmplatsupport.dir/src/device_utils.c.obj
  456. /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vmmplatsupport/src/device_utils.c: In function ‘handle_listening_fault’:
  457. /home/nio/alex/seL4/build/camkes-vm-apps/projects/seL4_projects_libs/libsel4vmmplatsupport/src/device_utils.c:97:16: warning: format ‘%x’ expects argument of type ‘unsigned int’, but argument 2 has type ‘seL4_Word {aka long unsigned int}’ [-Wformat=]
  458. printf("0x%x", data & data_mask);
  459. ~^ ~~~~~~~~~~~~~~~~
  460. %lx
  461. [279/377] Building C object sel4_projects_libs/libsel4vmmplatsupport/CMakeFiles/sel4vmmplatsupport.dir/src/drivers/pci.c.obj
  462. [280/377] Building C object sel4_projects_libs/libsel4vmmplatsupport/CMakeFiles/sel4vmmplatsupport.dir/src/drivers/cross_vm_connection.c.obj
  463. [281/377] Performing CAmkES generation for 17 files
  464. ninja: build stopped: subcommand failed.
  465.  
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!