ARM/sel4 compatibility

[Nobody III]

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 at 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 at adventiumlabs.com
>
> _______________________________________________
> Genode users mailing list
> users at lists.genode.org
> https://lists.genode.org/listinfo/users
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20180806/ee42c7ef/attachment.html>