Hacker News: fosslinuxhttps://news.ycombinator.com/user?id=fosslinuxHacker News RSShttps://hnrss.org/hnrss v2.1.1Wed, 26 Aug 2026 01:55:21 +0000<![CDATA[New comment by fosslinux in "SeL4 security proofs now complete on AArch64"]]>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.

]]>Mon, 24 Aug 2026 13:03:51 +0000https://news.ycombinator.com/item?id=49419220fosslinuxhttps://news.ycombinator.com/item?id=49419220https://news.ycombinator.com/item?id=49419220<![CDATA[GrapheneOS needs help from an Android OEM]]>Article URL: https://grapheneos.social/@GrapheneOS/114461810550000936

Comments URL: https://news.ycombinator.com/item?id=43960772

Points: 6

# Comments: 0

]]>Mon, 12 May 2025 08:27:10 +0000https://grapheneos.social/@GrapheneOS/114461810550000936fosslinuxhttps://news.ycombinator.com/item?id=43960772https://news.ycombinator.com/item?id=43960772<![CDATA[New comment by fosslinux in "SectorC: A C Compiler in 512 bytes"]]>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/fosslinux/live-bootstrap/blob/master/part... for all 143 steps you have to go through to get there.

]]>Thu, 25 May 2023 08:35:24 +0000https://news.ycombinator.com/item?id=36068344fosslinuxhttps://news.ycombinator.com/item?id=36068344https://news.ycombinator.com/item?id=36068344<![CDATA[New comment by fosslinux in "Bootstrapping from Hex to Bison to GCC"]]>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 needs to be compiled from source within live-bootstrap which is not simple.

]]>Tue, 04 May 2021 11:08:21 +0000https://news.ycombinator.com/item?id=27036241fosslinuxhttps://news.ycombinator.com/item?id=27036241https://news.ycombinator.com/item?id=27036241<![CDATA[New comment by fosslinux in "Bootstrapping from Hex to Bison to GCC"]]>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 yet) :(

]]>Tue, 04 May 2021 11:05:29 +0000https://news.ycombinator.com/item?id=27036214fosslinuxhttps://news.ycombinator.com/item?id=27036214https://news.ycombinator.com/item?id=27036214<![CDATA[New comment by fosslinux in "Cyclic dependencies are evil (2013)"]]>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/

]]>Sun, 31 Jan 2021 04:20:11 +0000https://news.ycombinator.com/item?id=25975895fosslinuxhttps://news.ycombinator.com/item?id=25975895https://news.ycombinator.com/item?id=25975895