192 karma · joined January 17, 2018
[Verifying my OpenPGP key: openpgp4fpr:c6045c813887b77c2dff97a57c56acfe947897d8]
> node -e require('https').get('https://gist.githubusercontent.com/PurpleBooth/109311bb0361f..., b => b.on('data', c => process.stdout.write(c+'')))" > README.md
instead of plain curl seems weird to me.
As far as I see it's just section headers, but I agree the stylesheet is very nice. The section header prefix (###) could be an anchor to the section though (<a href="#section">).
I haven't thought about the implications to reading kernel memory but it'd be great to see a paper on the subject.
[0]: https://www.youtube.com/watch?v=CuD7SCqHB7k
For me it looks like the classic Not Invented Here syndrome - we already have microkernels, even formally verified ones (seL4) but AFAIK Google didn't want that to "be more flexible".
Using C for kernel also looks like a poor choice nowadays, unless Google has some magic static analysis (for example Singularity/Midori had custom languages with ownership tracking akin to Rust).
Maybe Fuchsia is for bringing microkernel architecture for masses using "boring technology"?
These two articles describe trust in detail:
https://www.linux.com/learn/pgp-web-trust-core-concepts-behi...
https://www.linuxfoundation.org/blog/pgp-web-of-trust-delega...
GPG esoteric options is also a good read:
https://www.gnupg.org/documentation/manuals/gnupg/GPG-Esoter...
Besides that... the RFC itself I suppose: