The link to http://sel4.systems/Download/building in the README file is broken. Maybe it should link to http://sel4.systems/Info/GettingStarted/ instead?

Hello,

I'm currently trying to build sel4test for spike and Ariane following the steps described in https://docs.sel4.systems/Hardware/RISCV.html.

However, the build process fails. The reference to ltimer_default_init() in projects/sel4test/apps/sel4test-driver/main.c is undefined for both of the platforms above, thus causing an error when linking. In fact, this function seems to be defined for most platforms individually in projects/util_libs/libplatsupport/src/plat/. But the subdirectories spike/ and ariane/ (amongst others) are missing a file ltime.c with a definition of ltimer_default_init().

Am I missing something obvious here or is this something that needs to be fixed?

Best,
Nils

I followed this guide: https://docs.sel4.systems/projects/sel4test/ , trying to run the ia32 test. Here are my steps.

mkdir sel4test
cd sel4test
repo init -u https://github.com/seL4/sel4test-manifest.git 
repo sync
mkdir ia32_build
cd ia32_build
../init-build.sh -DPLATFORM=ia32 -DRELEASE=TRUE -DSIMULATION=TRUE
ninja
./simulate

The test started but some errors occurred, can anyone tell me what`s wrong with it? Much thanks.

At last, some tests diabled,

Thanks if you could help.

Version 9 breaks the build for the zynqmp architecture, so default.xml doesn't work, and there is no manifest for version 8. I tried making a manifest to use the version 8 compatible tags, which also failed.

If someone could add a version 8 sel4 test manifest (that builds for zynqmp), it would be appreciated.

remove obsolete branches, seems there have been merged:

• link-fix
• spdx
• sel4test-sim

I have build the sel4test by following this guide: https://docs.sel4.systems/Hardware/JetsonTX2.html#building-sel4test, and get the sel4test-driver-image-arm-tx2 file successfully.
But how to run the image on TX2 board? I have tested to use uboot cmdline by tftp to load the image, but cant run.
Anyone can give some guide how run on TX2 board?
Thanks.

Below is the uboot log FYR:
Tegra186 (P2771-0000-500) # tftp 0x80a88000 sel4test-driver-image-arm-tx2;go 0x80a88000
ethernet@2490000 Waiting for PHY auto negotiation to complete...... done
Using ethernet@2490000 device
TFTP from server 192.168.42.16; our IP address is 192.168.42.17
Filename 'sel4test-driver-image-arm-tx2'.
Load address: 0x80a88000
Loading: #################################################################
#################################################################
#################################################################
#################################################################
#################################################################
#################################################################
###########
993.2 KiB/s
done
Bytes transferred = 5874752 (59a440 hex)

Starting application at 0x80A88000 ...

"Synchronous Abort" handler, esr 0x02000000
ELR: 80a88000
LR: fff3d3d4
x0 : 0000000000000001 x1 : 00000000ffb3a5a8
x2 : 00000000ffb3a5a8 x3 : 0000000080a88000
x4 : 0000000000000000 x5 : 0000000000000030
x6 : 00000000fff87775 x7 : 000000000000000f
x8 : 00000000ffb2fe70 x9 : 0000000000000008
x10: 00000000ffb2f6fa x11: 0000000000000008
x12: 00000000ffffffff x13: 0000000000000200
x14: 0000000000000004 x15: 0000000000000000
x16: 0000000000002090 x17: 0000000000000001
x18: 00000000ffb32de0 x19: 00000000ffb3a5a8
x20: 0000000000000002 x21: 0000000080a88000
x22: 00000000ffb3a5a0 x23: 00000000fffaa7f4
x24: 0000000000000002 x25: 0000000000000000
x26: 0000000000000000 x27: 0000000000000000
x28: 00000000ffb3a600 x29: 00000000ffb2ffc0

Resetting CPU ...

resetting ...

Following the instructions mentioned in Getting Started:

mkdir seL4test
cd seL4test
repo init -u https://github.com/seL4/sel4test-manifest.git
repo sync
make ia32_simulator_release_xml_defconfig

the step "make ia32_simulator_release_xml_defconfig" failed and compiained:

Kconfig:45: can't open file "libs/libsel4sync/Kconfig"

I noticed that it was just a missing symbolic link directory.
And I fixed it by

ln -s projects/seL4_libs/libsel4sync/ libs/libsel4sync/

The version of nanopb that sel4test-manifest downloads should be updated to include the upstream fix linked below.
Context: nanopb/nanopb@f2f1e13

This will address the CMake warning that gets printed when building sel4test with a cmake version >= 3.17.

CMake Warning (dev) at /usr/share/cmake-3.19/Modules/FindPackageHandleStandardArgs.cmake:426 (message):
  The package name passed to `find_package_handle_standard_args` (NANOPB)
  does not match the name of the calling package (Nanopb).  This can lead to
  problems in calling code that expects `find_package` result variables
  (e.g., `_FOUND`) to follow a certain pattern.

There is no new-rt branch of seL4. Is it intended to be 10.0.0-mcs?