5BSD - a verifiable FreeBSD derivate

[cracauer@]

[no affiliation, I just spotted this]

5BSD — Private Compute With Verifiable Integrity

5BSD provides secure execution infrastructure for workloads where data exposure, tampering, and unverifiable state are unacceptable. Open source, permissively licensed.

www.5bsd.org

Webpage is a little pretty and light on technical detail. Better info is on Linkedin in the author's posts:

Kory Heard - Dallas-Fort Worth Metroplex | Professional Profile | LinkedIn

I build 5BSD the base operating system for security sensitive appliances. Other… · Location: Dallas-Fort Worth Metroplex. 500+ connections on LinkedIn. View Kory Heard’s profile on LinkedIn, a professional community of 1 billion members.

www.linkedin.com

The source code is forked from FreeBSD. https://github.com/5BSD/5BSD

 

[Charlie_]

I seem to recall SCO using the term 5BSD.

ms(5BSD) — UnixWare 2.01

 

[MG]

The Github readme.md talks like it's FreeBSD. Weird...
Why is it not just a program?

 

[sualbee]

Webpage is a little pretty and light on technical detail.

Hmm, I wonder why that might be the case?

 

[cracauer@]

The Github readme.md talks like it's FreeBSD. Weird...
Why is it not just a program?

It's a framework to run programs.