ARM/sel4 compatibility

[Edward Sandberg]

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