5 Nov
2025
5 Nov
'25
8 a.m.
Hi,
I wanted to ask if the nitpicker component is compatible with sel4? When I tried to run the run/demo script I just got a black screen. Does it require any specific configuration that I might have missed while reading the docs? For reference I ran the following command:
```sh make -C build/x86_64 KERNEL=sel4 BOARD=pc run/demo ```
Best, Rumen