MacMusic  |  PcMusic  |  440 Software  |  440 Forums  |  440TV  |  Zicos
unix-like
Search

Ironclad OS project popping out Unix-like kernel in a unique mix of languages

Monday November 10, 2025. 06:15 PM , from TheRegister
There's more to safer systems languages than Rust
If you're looking for a Unix-like, POSIX-compatible, real-time kernel, there's no shortage of projects trying to build one. Ironclad stands out for using the Ada programming language and its formally verifiable SPARK subset.…
Read more at TheRegister
https://go.theregister.com/feed/www.theregister.com/2025/11/10/ironclad_os_unix_like_kernel/

Related News

unix-like Love languages: Words, formulas, and PowerPoints—all $19.97 BoingBoingNov 10
kernel [$] Magic kernel functions for BPF LWN.netNov 10
out Kernel prepatch 6.18-rc5 LWN.netNov 10
languages A proposed kernel policy for LLM-generated contributions LWN.netNov 9
ironclad Ironclad 0.7.0 and 0.8.0 released, adds RISC-V support OS NewsNov 9
there's Blue Origin Postpones Attempt to Launch Unique ''EscaPADE' Orbiters to Mars SlashdotNov 9
mix Blue Origin Livestreams Attempt to Launch Unique ''EscaPADE' Mission to Mars SlashdotNov 9
unique Lost Unix v4 Possibly Recovered on a Forgotten Bell Labs Tape From 1973 SlashdotNov 9
project 52-year-old data tape could contain only known copy of UNIX V4 TheRegisterNov 7
popping Tape containing UNIX v4 found OS NewsNov 7
unix-like Amazon is Testing an AI Tool That Automatically Translates Books Into Other Languages SlashdotNov 6
kernel Google's Next Moonshot Is Putting TPUs In Space With 'Project Suncatcher' SlashdotNov 5
out LLMs are lousy at reading Asian languages, finds Singapore’s Grab TheRegisterNov 4
languages Defeating KASLR by Doing Nothing at All (Project Zero) LWN.netNov 4
ironclad A new kernel port — to WebAssembly LWN.netNov 3
there's Kernel prepatch 6.18-rc4 LWN.netNov 3
mix Three stable kernel updates LWN.netNov 2
unique The top 4 JVM languages and why developers love them InfoWorldOct 29
project The Linux boot process: from power button to kernel OS NewsOct 27
popping Kernel prepatch 6.18-rc3 LWN.netOct 27
News copyright owned by their original publishers | Copyright © 2004 - 2025 Zicos / 440Network
Current Date
Nov, Mon 10 - 22:52 CET