Nataliya Korovkina

There are no ".githooks" ...

1

There are no shared ".githooks" files: .githooks/pre-commit .githooks/commit-msg mentioned in Contribution page (same with C Runtime and Resource Manager)

camkes-vm-linux: pick up proper kernel config

1

"poke" module should be build with correct Linux configuration to match the pre-built kernel version. (Tutorial issue #80) Signed-off-by: Nataliya Korovkina

In out-of-the-box camkes-vm-linux solution, "poke" module is not loading because of vermagic mismatch between the pre-built kernel and the module. > insmod /lib/modules/4.8.16/kernel/drivers/vmm/poke.ko > [ 30.023396] poke: version magic '4.8.16...

bench/risc-v: apps/fault fails to build

1

Fault benchmark `apps/fault` fails to build for RISC-V (undefined reference)

Ability to change bench app options for RiscV

3

Hi, Does anyone remember why sel4bench configuration for RiscV was not allowed to change bench app options? If it was skipped because it was not necessary then I'd like to...