Alexandria Library

A curated collection of awesome articles

Here are some ressources related to Rtos, Linux, Embedded. Hoping you will find learning material, alternative tools or just some interesting stuff.

Home > Linux, Virtualization, Security, Co... > Linux, Operating Systems, Security,... > Operating Systems, Kernel Developme... > Rtos, Linux, Embedded

Articles

Zylin ZPU: 32 bit CPU with GCC toolchain

See discussion (20 comments, 91 points) - Archive

RP2040 Runs Linux Through RISC-V Emulation

See discussion (18 comments, 82 points) - Archive

Not-OS – NixOS-based OS generator that outputs an OS with 47MB squashfs (2022)

See discussion (30 comments, 140 points) - Archive

Contiki – OS for networked, memory-constrained systems

See discussion (28 comments, 155 points) - Archive

Tilck – A Tiny Linux-Compatible Kernel

See discussion (74 comments, 270 points) - Archive

Show HN: Docker in the browser using x86-to-WASM recompilation

See discussion (30 comments, 119 points) - Archive

Google Announces KataOS: Security-Focused OS, Using Rust and SeL4 Microkernel

See discussion (58 comments, 84 points) - Archive

Announcing KataOS and Sparrow

See discussion (182 comments, 241 points) - Archive

Going where BeOS NetPositive hasn't gone before: NetPositive+

See discussion (21 comments, 155 points) - Archive

RTEMS Real Time Operating System

See discussion (48 comments, 139 points) - Archive

Oxide at Home: Propolis Says Hello

See discussion (107 comments, 214 points) - Archive

So you want to build an embedded Linux system? (2020)

See discussion (76 comments, 233 points) - Archive

On Hubris and Humility: developing an OS for robustness in Rust [video]

See discussion (64 comments, 135 points) - Archive

Hubris – A small operating system for deeply-embedded computer systems

See discussion (238 comments, 560 points) - Archive

Genode – Sculpt Operating System 21.10

See discussion (12 comments, 92 points) - Archive

Pumpkin OS: x64 port/re-implementation of PalmOS

See discussion (52 comments, 141 points) - Archive

WinFsp – Windows File System Proxy

See discussion (53 comments, 184 points) - Archive

How we built the Evervault Encryption Engine (E3)

See discussion (42 comments, 81 points) - Archive

Tilck – Tiny Linux-Compatible Kernel

See discussion (7 comments, 97 points) - Archive

Linux 5.0 shown to boot on ESP32 processor

See discussion (79 comments, 290 points) - Archive

Balthazar Personal Computing Device, a 13” RISC-V laptop

See discussion (60 comments, 106 points) - Archive

HermiTux – A Linux binary-compatible unikernel

See discussion (18 comments, 125 points) - Archive

OSv – Linux binary compatible unikernel for virtualized environments

See discussion (64 comments, 155 points) - Archive

See discussion (81 comments, 185 points) - Archive

Obscurix – Arch Linux-based OS configured for privacy, security and anonymity

See discussion (24 comments, 88 points) - Archive

So you want to build an embedded Linux system?

See discussion (111 comments, 535 points) - Archive

Xen Project officially ports its hypervisor to Raspberry Pi 4

See discussion (35 comments, 147 points) - Archive

M2OS: A Small and Lightweight Ada RTOS for Microcontrollers

See discussion (34 comments, 97 points) - Archive

Playing around with the Fuchsia operating system

See discussion (272 comments, 372 points) - Archive

What's Intel SGX Good For?

See discussion (55 comments, 86 points) - Archive

See discussion (75 comments, 283 points) - Archive

Riot OS – Real-Time, MMU optional and threads

See discussion (50 comments, 100 points) - Archive

Betrusted: A Security Enclave for Humans

See discussion (29 comments, 277 points) - Archive

OpenTitan: An open-source silicon root of trust from lowRISC

See discussion (18 comments, 117 points) - Archive

Yocto: Tools for building a custom embedded Linux distribution

See discussion (53 comments, 87 points) - Archive

See discussion (288 comments, 313 points) - Archive

Zephyr: A scalable Real-Time operating system for IoT embedded devices

See discussion (30 comments, 123 points) - Archive

Illumos is a Unix operating system which provides next-generation features

See discussion (75 comments, 127 points) - Archive

VxWorks now with C++17 and Rust support, alongside Ada and SPARK

See discussion (61 comments, 140 points) - Archive

10 Years SeL4: Still the Best, Still Getting Better

See discussion (56 comments, 150 points) - Archive

NuttX – A POSIX-compliant RTOS for embedded platforms

See discussion (51 comments, 125 points) - Archive

HermiTux: A Binary-Compatible Unikernel

See discussion (26 comments, 145 points) - Archive

List of Open Source Real-Time Operating Systems

See discussion (42 comments, 206 points) - Archive

RIOT: Operating System for the Internet of Things

See discussion (74 comments, 142 points) - Archive

Genode OS: A tool kit for highly secure special-purpose operating systems

See discussion (31 comments, 205 points) - Archive

Interim OS: minimalist OS influenced by Lisp machines and Plan 9

See discussion (64 comments, 197 points) - Archive

Xinu – A small, elegant operating system

See discussion (73 comments, 229 points) - Archive

Using the Chrome OS Graphics Stack on Intel-Based Linux Desktops

See discussion (23 comments, 124 points) - Archive

Ultibo – Environment for embedded development on Raspberry Pi

See discussion (43 comments, 139 points) - Archive

Sortix: small self-hosting OS aiming to be a clean, modern Posix implementation

See discussion (36 comments, 113 points) - Archive

Tiny Core Linux

See discussion (98 comments, 198 points) - Archive

IBM z14 mainframe

See discussion (121 comments, 90 points) - Archive

27000 errors in the Tizen operating system

See discussion (78 comments, 178 points) - Archive

Popcorn Linux – for ISA-diverse multi/many-core architectures

See discussion (17 comments, 89 points) - Archive

Building a QNX 7 Desktop

See discussion (91 comments, 208 points) - Archive

Announcing Intel Clear Containers V2.1.1

See discussion (12 comments, 93 points) - Archive

Show HN: A new hobby OS from “scratch” in C#

See discussion (63 comments, 310 points) - Archive

RISC-V 64-bit Linux in JavaScript

See discussion (22 comments, 98 points) - Archive

Raspberry Pi releases an OS to breathe new life into old PCs

See discussion (104 comments, 233 points) - Archive

See discussion (285 comments, 449 points) - Archive

CertiKOS: A breakthrough toward hacker-resistant operating systems

See discussion (37 comments, 119 points) - Archive

ResinOS, run Docker containers on embedded devices

See discussion (69 comments, 160 points) - Archive

Show HN: KnightOS – An open-source OS for calculators

See discussion (34 comments, 180 points) - Archive

Windows File System Proxy – FUSE-Like Capability for Windows

See discussion (46 comments, 89 points) - Archive

Porting Python to GRUB: “Networking without an operating system”

See discussion (45 comments, 186 points) - Archive

PowerNex: a kernel written in the D Programming Language

See discussion (75 comments, 130 points) - Archive

Urbit is now in open developer beta

See discussion (153 comments, 184 points) - Archive

Apricity OS: A Beautiful Arch Linux Distro

See discussion (119 comments, 168 points) - Archive

Linux Foundation to support Zephyr microkernel

See discussion (60 comments, 102 points) - Archive

Ulix – a Literate Unix

See discussion (40 comments, 98 points) - Archive

XINU OS – Xinu Is Not Unix

See discussion (36 comments, 109 points) - Archive

KnightOS – an open-source operating system for TI calculators

See discussion (36 comments, 158 points) - Archive

Creating purpose-built TinyCoreLinux Images

See discussion (32 comments, 84 points) - Archive

Genode – Operating System Framework

See discussion (23 comments, 92 points) - Archive

Android-x86 Project – Run Android on Your PC

See discussion (45 comments, 140 points) - Archive

IBM launches Linux-only mainframe system

See discussion (122 comments, 178 points) - Archive

Clear Linux Project

See discussion (56 comments, 164 points) - Archive

Introducing Xubuntu core

See discussion (46 comments, 91 points) - Archive

OSv, a new operating system for the cloud

See discussion (29 comments, 101 points) - Archive

The Sortix Operating System

See discussion (76 comments, 127 points) - Archive

KnightOS – An open-source OS for calculators

See discussion (20 comments, 148 points) - Archive

Sel4: We’re going open source

See discussion (62 comments, 185 points) - Archive

Intel Bringing SIMD to JavaScript

See discussion (100 comments, 183 points) - Archive

KnightOS, a third party OS for TI z80 calculators

See discussion (39 comments, 123 points) - Archive

The Navy’s newest warship is powered by Linux

See discussion (162 comments, 191 points) - Archive

Urbit: A clean-slate functional OS

See discussion (178 comments, 262 points) - Archive

Joyent Open Sources SmartOS: Zones, ZFS, DTrace and KVM

See discussion (82 comments, 279 points) - Archive

Android-x86 Project - Run Android on Your PC

See discussion (28 comments, 121 points) - Archive

System Transparency: a security architecture for bare-metal servers

See discussion (27 comments, 100 points) - Archive

Mirage – A programming framework for building type-safe, modular systems

See discussion (88 comments, 317 points) - Archive

Microsoft open-sources ThreadX

See discussion (136 comments, 305 points) - Archive

Eclipse ThreadX

See discussion (3 comments, 142 points) - Archive

Maestro: A Linux-compatible kernel in Rust

See discussion (333 comments, 732 points) - Archive

MotorOS: a Rust-first operating system for x64 VMs

See discussion (115 comments, 326 points) - Archive

Linux Gains an Open File Server for Tractors and Agriculture Machinery

See discussion (5 comments, 103 points) - Archive

Helios: A distribution of Illumos powering the Oxide Rack

See discussion (257 comments, 418 points) - Archive

Rolling Airframe Missile

See discussion (124 comments, 191 points) - Archive

New IBM LinuxONE 4 Express – Rack-mounted pre-configured Linux mainframe

See discussion (211 comments, 151 points) - Archive

PumpkinOS, a Re-Implementation of PalmOS

See discussion (135 comments, 405 points) - Archive

The server chose violence

See discussion (62 comments, 306 points) - Archive

Got a spare Pi 1/2/3? Try RISC OS Open 5.30 It is, literally, something else

See discussion (7 comments, 86 points) - Archive

Managarm: Pragmatic microkernel-based OS with asynchronous I/O

See discussion (59 comments, 160 points) - Archive