this post was submitted on 03 Jan 2024
353 points (96.8% liked)
Technology
58303 readers
11 users here now
This is a most excellent place for technology news and articles.
Our Rules
- Follow the lemmy.world rules.
- Only tech related content.
- Be excellent to each another!
- Mod approved content bots can post up to 10 articles per day.
- Threads asking for personal tech support may be deleted.
- Politics threads may be removed.
- No memes allowed as posts, OK to post as comments.
- Only approved bots from the list below, to ask if your bot can be added please contact us.
- Check for duplicates before posting, duplicates may be removed
Approved Bots
founded 1 year ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
50MB for a sub POSIX kernel and a shell prompt for a 50MB ISO image that has less functionality than a 4KB kernel (L4SEC) which has actual formal proofs of correctness.
Well, I guess it has Rust as a selling point but that isn't something that should matter if the goal is real security.
I wouldn't take it so seriously, it's a passion project from a person learning about Rust and OS structure. Don't compare this project against industry professionals.
Why not ? Even Linux started as a personal fun project. Let's see where it will go
For sure, but making an OS is not a one man job anymore.
Bah gaw. Terry Davis would say you "glow in the dark."
I knew there would be at least one TempleOS reference in this thread lmao