"We are applying our #RustLang embedded language to transform Hardware Manuals into Specifications, with our first target being a complete description of the NXP i.MX8 SoC"
Can "From Gongkai to Open Source" [0] from @bunnie be of help? Sometimes only proprietary documentation and code is available, but you want to write open source software to describe the hardware.
@lupyuen
Awesome!
"Our work was motivated by implementing a high-assurance
Baseboard Management Controller (BMC) based on seL4 [15]
for Enzian [ 9 ]"...
It's nice to see so many famous open source fimware references. Thanks for your work everyone!
@bcantrill
@oxidecomputer
@th
@sel4
Can "From Gongkai to Open Source" [0] from @bunnie be of help?
Sometimes only proprietary documentation and code is available, but you want to write open source software to describe the hardware.
[0] https://www.bunniestudios.com/blog/?p=4297