fosslinux

5 ms·

1. 1.▲
   by fosslinux 24d ago

   Although, there is ongoing research regarding time protection ( https://trustworthy.systems/projects/timeprotection/ ) which prevents exactly timing channels. Including proofs of seL4 providing time protection.
2. 2.▲
   GrapheneOS needs help from an Android OEM(grapheneos.social)

   6 points by fosslinux 1y ago|0 comments
3. 3.▲
   by fosslinux 3y ago

   Not using this, but tangentially related is (full disclosure, i am a maintainer of this project) live-bootstrap, which uses about a KB of binary to do a full "Linux from scratch" style thing - read https://github.com&#x
4. 4.▲
   by fosslinux 5y ago

   I do plan to integrate this, or something very similar, into live-bootstrap. This is essentially the type of thing we would do to compile the Linux kernel within the bootstrap, which has not been done yet. However tccboot/derivative ne
5. 5.▲
   by fosslinux 5y ago

   The kernel is still an unsolved problem, unfortunately. We need an appropriate, small seed kernel to be able to successfully run everything up until we can recompile linux (which also has proved difficult and is not why it is in the repo ye
6. 6.▲
   by fosslinux 6y ago

   Furthermore, M2-Planet can be built by another C compiler written in assembly, all the way down to hex instructions. https://github.com/oriansj/mescc-tools-seed/