Show newer

@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] bunniestudios.com/blog/?p=4297

"We are applying our embedded language to transform Hardware Manuals into Specifications, with our first target being a complete description of the NXP i.MX8 SoC"

dl.acm.org/doi/10.1145/3593856

"(GitHub) RepoJacking is an attack where a malicious actor registers a username and creates a repository used by an organization in the past but which has since changed its name"

bleepingcomputer.com/news/secu

"How far can a design be pushed and still be Compliant? The answer isn’t always black-and-white"

semiengineering.com/the-uncert

Show older
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.