KSOS: The DoD-funded secure Unix that pioneered type safety in the 1970s, now publicly available
The source code of KSOS (Kernelized Secure Operating System), a US Department of Defense-funded secure Unix variant from the late 1970s and 1980s, has been released to the public in The Unix Heritage Society (TUHS) archives. KSOS was a pioneering operating system that implemented type safety and kernel-level security decades before modern languages like Rust made these concepts mainstream. Written in Modula, KSOS was designed to meet DoD security requirements and represents an important piece of computing history that influenced secure operating system design.
Key quotes
KSOS was the US Department of Defense (DoD) Kernelized Secure Operating System
For the first time, the source code of KSOS, backed by the US Department of Defense in the late 1970s and 1980s, is available to the public
KSOS did type safety before Rust made it cool
From the article
You might also wanna read
Linux Kernel Self-Protection Project: Addressing Security Challenges with Flexible Array Members and struct sockaddr
The article discusses the Linux Kernel Self-Protection Project (KSPP) and its work on improving kernel security, particularly focusing on bo
lwn.net·7mo ago
BlueOS Kernel: A Rust-Based Operating System Kernel with POSIX Compatibility
BlueOS Kernel is a Rust-based operating system kernel that emphasizes security, lightweight design, and compatibility with POSIX interfaces.
github.com·11mo agoCatalog of Atomic Operations in UNIX/POSIX Systems for Thread-Safe Programming
This article presents a catalog of atomic operations available in UNIX-like/POSIX-compliant operating systems that can be used as building b
AtomicOS – A security-first OS with real crypto and deterministic language
Rust Programming Language Officially Accepted as Core Component of Linux Kernel
The article reports that Rust programming language support in the Linux kernel is no longer considered experimental and has been officially
lwn.net·7mo ago
Comments
Sign in to join the conversation.
No comments yet. Be the first.