17 May
2018
17 May
'18
11:32 p.m.
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
2868
Age (days ago)
2869
Last active (days ago)
2 comments
2 participants
participants (2)
-
Luke.Mondy＠data61.csiro.au -
Paolo Crisafulli