Have you prepared the sel4 port? You need to prepare it before building it.
Also, can you verify that you can compile Genode/seL4 for x86?
On Mon, Aug 6, 2018, 8:26 AM Edward Sandberg ed.sandberg@adventiumlabs.com wrote:
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 ed.sandberg@adventiumlabs.com
Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users