[seL4] Re: Sel4 rumprun has issues compiling

Yes, rumprun on seL4 is unmaintained. It would be awesome if someone adopted it Gernot

On 31 Jul 2021, at 13:13, Vortex 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 -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems