[seL4] Re: Sel4 rumprun has issues compiling

Hi Ellis, can you give more information on how you are compiling it? The compile still does work fine using the docker container in the regression test, see e.g. https://github.com/seL4/rumprun-sel4-demoapps/runs/3177403997 Cheers, Gerwin

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