@senier
Since we don't use this repository as core anymore for Genode on Linux I'd say that we use it for any utilities we create (beside the documentation). My first step would be moving the init binary from jklmnn/initramfs to this repo and build it from source (instead providing the binary itself).
The not yet created port for building the Linux kernel might also reside here.
What's your opinion about this?
senier
commented
6 years ago
@senier Since we don't use this repository as core anymore for Genode on Linux I'd say that we use it for any utilities we create (beside the documentation). My first step would be moving the init binary from jklmnn/initramfs to this repo and build it from source (instead providing the binary itself). The not yet created port for building the Linux kernel might also reside here. What's your opinion about this?