Yes, rumprun on seL4 is unmaintained. It would be awesome if someone adopted it
Gernot > On 31 Jul 2021, at 13:13, Vortex <[email protected]> wrote: > > Hello, > > I would like to bring this issue to the attention of the community. Sel4’s > fork of the rumprun unikernel no longer compiles. Due to the usage of > Werror flag, the compiler produces repeated warnings which in turn creates > errors. It seems like the rump kernel was tested on an older version of gcc > and because it is older, raises warnings and causes the build to fail on > newer compilers. This is a similar issue to > https://github.com/rumpkernel/rumprun/issues/82 > I have tested rumprun in the sel4 docker container. My build logs are also > attached to this email. Thank you for taking attention to this issue. > > Sincerely, > Ellis > <build logs.txt>_______________________________________________ > Devel mailing list -- [email protected] > To unsubscribe send an email to [email protected] _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
