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@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@adventiumlabs.com

---

Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users

Hello,

On 06.08.2018 16:15, Edward Sandberg wrote:

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?

as stated in the 17.08 [0] release notes - we solely enabled the Wandboard as an ARM example for Genode/seL4 and test it every night. For the Wandboard we have a timer, network and sd_card driver.

[0] https://genode.org/documentation/release-notes/17.08#The_seL4_kernel_on_ARM_...

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.

You may of course try to enable further ARM boards, supported by Genode and by the seL4 kernel in general. However, as you noticed, you will have to come up with a kernel-sel4.mk and syscall-sel4.mk for your specific ARM board.

For Wandboard those file are

repos/base-sel4/lib/mk/spec/wand_quad/syscall-sel4.mk repos/base-sel4/lib/mk/spec/wand_quad/kernel-sel4.mk

You may copy them and adjust them as needed for your desired target. In the files you will have to configure the used seL4 tools & Makefiles the right way to succeed. For details please consult the seL4 documentation.

• 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.

I attached the beginning of a Wandboard Genode/seL4 of our automated nightly test for your reference. The first life sign is "ELF-loader started on CPU" from the seL4 elfloader tool. The sources are located in contrib/sel4_elfloader-<hash> and used by kernel-sel4.mk.

U-Boot SPL 2015.10-00237-g92e40f5-dirty (Dec 04 2015 - 15:37:04) U-Boot 2015.10-00237-g92e40f5-dirty (Dec 04 2015 - 15:37:04 +0100) CPU: Freescale i.MX6Q rev1.2 at 792 MHz Reset cause: POR Board: Wandboard rev B1 I2C: ready DRAM: 2 GiB MMC: FSL_SDHC: 0, FSL_SDHC: 1 No panel detected: default to HDMI Display: HDMI (1024x768) In: serial Out: serial Err: serial Net: FEC [PRIME] Hit any key to stop autoboot: 1  0 FEC Waiting for PHY auto negotiation to complete.... done BOOTP broadcast 1 DHCP client bound to address X.X.X.X (2 ms) Using FEC device TFTP from server X.X.X.X; our IP address is X.X.X.X Filename '/tftpboot/hosts/wandboard.scr'. Load address: 0x12000000 Loading: *# 153.3 KiB/s done Bytes transferred = 157 (9d hex) ## Executing script at 12000000 Using FEC device TFTP from server X.X.X.X; our IP address is X.X.X.X Filename '/tftpboot/wand_quad/uImage'. Load address: 0x50000000 Loading: *################################################### 6.6 MiB/s done Bytes transferred = 745105 (b5e91 hex) ## Booting kernel from Legacy Image at 50000000 ... Image Name: Image Type: ARM Linux Kernel Image (gzip compressed) Data Size: 745041 Bytes = 727.6 KiB Load Address: 20000000 Entry Point: 20000000 Verifying Checksum ... OK Uncompressing Kernel Image ... OK

Starting kernel ... ELF-loader started on CPU: ARM Ltd. Cortex-A9 r2p10 paddr=[20000000..201cc01f] ELF-loading image 'kernel' paddr=[10000000..10039fff] vaddr=[e0000000..e0039fff] virt_entry=e0000000 ELF-loading image 'genode.elf' paddr=[1003a000..102e2fff] vaddr=[2000000..22a8fff] virt_entry=2000000 Enabling MMU and paging Jumping to kernel-image entry point... Info: Not using supported FPU as FPU is disabled in the build configuration Bootstrapping kernel Booting all finished, dropped to user space