[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: [Proposal] The Formal Methods in GNU Guix Working Group
|
From: |
Orians, Jeremiah (DTMB) |
|
Subject: |
RE: [Proposal] The Formal Methods in GNU Guix Working Group |
|
Date: |
Thu, 13 Feb 2020 12:07:34 +0000 |
> The term "nothing" is mitigated; i.e. "nothing" means: a booted system
> running a (linux) kernel. Right?
No, I mean bootstrapped from bare metal.
No Kernel
No firmware
No microcode
No Bios
Just individual TTL logic circuits
https://github.com/oriansj/stage0
> Thank you for all your contributions!
> e.g., hex0 is amazing! :-)
Hex0 is only about 3 hours of work
This however is taking me months
https://github.com/oriansj/mes-m2
and when done will result in solving multiple bootstrapping problems
-Jeremiah