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
Yes, rumprun on seL4 is unmaintained. It would be awesome if someone adopted it
Gernot
On 31 Jul 2021, at 13:13, Vortex ellisstyles45@gmail.com 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
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 ellisstyles45@gmail.com 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
Just realised that you have to be logged in to see the actual log, but if you have a GitHub login, you should be able to see the full build log and commands the build uses.
Cheers, Gerwin
On 1 Aug 2021, at 17:05, Gerwin Klein kleing@unsw.edu.au wrote:
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 ellisstyles45@gmail.com 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
Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
-
Gernot Heiser -
Gerwin Klein -
Vortex