Hi all,
I'm using the docker build environment provided by https://github.com/SEL4PROJ/seL4-CAmkES-L4v-dockerfiles
Currently, "make sel4" fails with this message:
E: Package 'ncurses-dev' has no installation candidate
Anyone experimenting the same behaviour?
Cheers,
Paolo