| ▲ | icrbow 5 days ago |
| Ada can't bootstrap? Ironic... |
|
| ▲ | lrvick 5 days ago | parent | next [-] |
| Yes, and that is a serious security problem because the only way to get trusted PCR values for TPM2 gated secure boot and full disk decryption applications, is with open source full source bootstrapped firmware. Coreboot is the only option, but it has a hard requirement on Ada because that is what they wrote their intel graphics stack in. It is a real mess. |
| |
| ▲ | utopiah 5 days ago | parent [-] | | Interesting, any link I could read to understand a bit more the situation? | | |
| ▲ | lrvick 5 days ago | parent [-] | | Here is some background on the Haskell situation: https://www.joachim-breitner.de/blog/802-More_thoughts_on_a_... Ada has had even less progress and I am not aware of any writeups. TL;DR: Ada and Haskell need to have compilers implemented a language that has a full source bootstrap path such as C, Go, or Rust that implement just enough features to compile the official compilers. | | |
| ▲ | elbear 4 days ago | parent [-] | | Just curious, are C, Go and Rust and the only viabile languages for an implementation? |
|
|
|
|
| ▲ | leoh 5 days ago | parent | prev [-] |
| Sounds like an opportunity to rebuild an ADA interpreter |
| |
| ▲ | lrvick 5 days ago | parent [-] | | Yes. Many efforts have started and fizzled out over the years before completion. If you know anyone that takes this on and succeeds I have a 2k cash bounty for them, and we can likely find others. |
|
