On Mon, Aug 6, 2018 at 10:44 PM, Nobody III <[email protected]> wrote:
> Have you prepared the sel4 port? You need to prepare it before building it. > Yes, I think I have prepared all needed ports. > > Also, can you verify that you can compile Genode/seL4 for x86? > Yes, I can build and run genode/sel4 on multiple x86 boards . > > On Mon, Aug 6, 2018, 8:26 AM Edward Sandberg < > [email protected]> 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 >> [email protected] >> >> _______________________________________________ >> Genode users mailing list >> [email protected] >> https://lists.genode.org/listinfo/users > > > _______________________________________________ > Genode users mailing list > [email protected] > https://lists.genode.org/listinfo/users >
_______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
