mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-22 18:22:41 +00:00
- Close FDs marked with the close-on-execve flag (needed for 'make', which sets the flag for the pipe-in FD of forked children) - Update binary name on execve to use as ROM for subsequent fork - Enable vfork as an alias for fork (needed by make) - Purge line buffers for output streams during execve because they may be allocated at the allocation heap, which does not survive the execve call. - Consider short-lived processes that may exit while the parent still blocks in the fork call. With these changes, the website generator of genodians.org works without the need for the Noux runtime. Issue #3578