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 _______________________________________________ users mailing list -- [email protected] To unsubscribe send an email to [email protected] Archived at https://lists.genode.org/mailman3/hyperkitty/list/[email protected]/message/KGTD3H3X6JJLITGPMZZLZ3ZO4H63DESJ/
