ARM/sel4 compatibility

[Ed Sandberg]

On Mon, Aug 6, 2018 at 10:44 PM, Nobody III <hungryninja101 at gmail.com>
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 <
> 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
>
>
> _______________________________________________
> 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/20180807/3208ed55/attachment-0001.html>