"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.
CleverLibre Social is an inclusive social instance for open discussion, learning, and community.
All cultures welcome.
Hate speech and harassment strictly forbidden.
@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