[notepad0x90]

There is an NDA related company called ironclad as well. Beware the trademark/copyright terrorists.

That said, I am huge fan of works like this. But in practice, the security layer that betrays all of this tends to be the firmware layer.

My dream is to have something like the Framework computer use verifiably secure EFI firmware, as well as similarly verified and audited firmware for every hardware component.

[Jach]

Ironclad is also the name of the chief cryptographic library for Common Lisp: https://github.com/sharplispers/ironclad/

[F3nd0]

You might want to check out MNT Research if you haven’t yet. They make repairable laptops, too, but they also release their work as free software and open hardware.

https://mnt.re/

[notepad0x90]

The MNT is too small for my usage, but it's a great effort. I think their goal is to make open hardware right now, not necessarily a verifiable one.

[scoot]

That isn't how trademarks work. There can be multiple business with the same name, as long as they operate in a different field. Case in point, Apple Computer had to pay for the rights to The Beatles label Apple Music only when they entered the music industry (not that they didn't try to contest it!)

Copyright is something different entirely!

https://xkcd.com/386/

[notepad0x90]

That make sense. I'd still be weary though, you can win in court, but the cost of getting sued isn't small. Nintendo's lawsuits come to mind.

[KAMSPioneer]

Normally I wouldn't say anything, but since we're on the topic of mixing up two different concepts:

I suspect you meant to say "wary." Wary means "cautious," "weary" means "tired."

[notepad0x90]

I think wary would have been a better word, but I really did mean "weary", as in I would find the ordeal tiresome or bothersome? I wouldn't disagree if you said that's bad grammar still.

[cenamus]

Weary and wary are also homophones, in certain dialects at least

[ktm5j]

Such a case would never end up in court. You can't sue someone for doing something that's perfectly legal.. well you can try, but it's going to be really hard to find a lawyer willing to waste their time (a lawyer you're going to have to pay).. and the case would ultimately get thrown out long before court.

[notepad0x90]

Check this out: https://www.suedbynintendo.com/

If a gaming company can sue a local supermarket over trademark, I don't know what to say.

[indolering]

You need a different kernel for firmware verification. But it should be regulated at this point.