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.sandb...@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.sandb...@adventiumlabs.com > > _______________________________________________ > Genode users mailing list > users@lists.genode.org > https://lists.genode.org/listinfo/users
_______________________________________________ Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users