Hello, Can someone please provide an up-to-date ARM hardware compatibility list for Genode 18.05 and seL4: boards and drivers? Which boards are tested regularly?
We have tried building run/demo for several ARM boards without a lot of luck: * Raspbery Pi Build fails with: Library-description file rpi_usb.mk is missing make[2]: *** No rule to make target 'rpi_usb.lib', needed by 'usb.lib'. Stop. I got past this by running: cp ./dde_linux/lib/mk/spec/foc/rpi_usb.mk ./dde_linux/lib/mk/spec/sel4/ but then I hit: Library-description file kernel-sel4.mk is missing Library-description file syscall-sel4.mk is missing make[2]: *** No rule to make target 'syscall-sel4.lib', needed by 'startup-sel4.lib'. Stop. * Wandboard Quad Build completes, but when loading UImage all we see is: ## Booting kernel from Legacy Image at 12000000 ... Image Name: Image Type: ARM Linux Kernel Image (gzip compressed) Data Size: 697455 Bytes = 681.1 KiB Load Address: 10001000 Entry Point: 10001000 Verifying Checksum ... OK Uncompressing Kernel Image ... OK So it is unclear whether sel4 has started or not. * Arndale Build fails with: Library-description file syscall-sel4.mk is missing var/libdeps:21: *** Recursive variable 'DEP_A_kernel-sel4' references itself (eventually). Stop. For each of these we had the following repositories enabled: REPOSITORIES += $(GENODE_DIR)/repos/base REPOSITORIES += $(GENODE_DIR)/repos/os REPOSITORIES += $(GENODE_DIR)/repos/demo REPOSITORIES += $(GENODE_DIR)/repos/libports REPOSITORIES += $(GENODE_DIR)/repos/ports REPOSITORIES += $(GENODE_DIR)/repos/dde_linux Thanks! -- Edward Sandberg Adventium Labs 111 3rd Avenue S. Suite #100 Minneapolis, MN 55401 [email protected] _______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
