interesting links2024-01-03T01:29:17+01:00https://roland.iwasno.net/links/https://roland.iwasno.net/links/https://roland.iwasno.net/links/Collapse OShttps://roland.iwasno.net/links/?tYXAJA2024-01-03T01:29:17+01:00It is a Forth (why Forth?) operating system and a collection of tools and documentation with a single purpose: preserve the ability to program microcontrollers through civilizational collapse. Found via Michael Schierl's port <a href="https://github.com/schierlm/collapseos-uxn" rel="nofollow">https://github.com/schierlm/collapseos-uxn</a><br>(<a href="https://roland.iwasno.net/links/?tYXAJA">Permalink</a>)The wild world of non-C operating systemshttps://roland.iwasno.net/links/?Y_espg2022-12-31T23:28:09+01:00Mentioned on the Interlisp mailing list.<br>(<a href="https://roland.iwasno.net/links/?Y_espg">Permalink</a>)Ladybird: A new cross-platform browser project – Andreas Kling – I like computers!https://roland.iwasno.net/links/?YdrsJw2022-12-19T17:22:50+01:00A new cross-platform browser project, from the author of SerenityOS <a href="https://serenityos.org/" rel="nofollow">https://serenityos.org/</a><br />
Found in c't.<br>(<a href="https://roland.iwasno.net/links/?YdrsJw">Permalink</a>)liam_on_linux | Entries tagged with lisphttps://roland.iwasno.net/links/?p5ZOsw2022-11-10T15:05:09+01:00Interesting blog, some example articles:<br />
Sandcastles and skyscrapers (VMS vs Unix) <a href="https://liam-on-linux.dreamwidth.org/#entry-86240" rel="nofollow">https://liam-on-linux.dreamwidth.org/#entry-86240</a><br />
history of MS-DOS <a href="https://liam-on-linux.dreamwidth.org/#entry-85836" rel="nofollow">https://liam-on-linux.dreamwidth.org/#entry-85836</a> <br />
I want to see AROS, MorphOS or Haiku on the Raspberry Pi <a href="https://liam-on-linux.dreamwidth.org/#entry-83201" rel="nofollow">https://liam-on-linux.dreamwidth.org/#entry-83201</a><br />
Found on the TUHS mailing list.<br>(<a href="https://roland.iwasno.net/links/?p5ZOsw">Permalink</a>)[TUHS] forgotten versionshttps://roland.iwasno.net/links/?3vyFNg2022-06-22T13:25:32+02:00ssh unix50 at unix50.org<br>(<a href="https://roland.iwasno.net/links/?3vyFNg">Permalink</a>)What is gVisor? - gVisorhttps://roland.iwasno.net/links/?8y1XmQ2022-05-31T18:52:17+02:00gVisor is an application kernel, written in Go, that implements a substantial portion of the Linux system call interface. It provides an additional layer of isolation between running applications and the host operating system.<br />
Found on <a href="https://marc.info/?l=9fans&m=165401374021100&w=2" rel="nofollow">https://marc.info/?l=9fans&m=165401374021100&w=2</a><br>(<a href="https://roland.iwasno.net/links/?8y1XmQ">Permalink</a>)athornton | The UNIX-HATERS Handbook, a reviewhttps://roland.iwasno.net/links/?s7paQg2022-05-18T10:00:53+02:00Just what it says. The author had read the handbook soon after it came out and has revisited it 25 years later. He also offers interesting comments about most of the competing operating systems. See also<br />
Making old systems accessible via the web <a href="https://athornton.dreamwidth.org/14733.html" rel="nofollow">https://athornton.dreamwidth.org/14733.html</a><br />
Exploring old unixes <a href="https://athornton.dreamwidth.org/14340.html" rel="nofollow">https://athornton.dreamwidth.org/14340.html</a><br>(<a href="https://roland.iwasno.net/links/?s7paQg">Permalink</a>)Qubes OS: A reasonably secure operating system | Qubes OShttps://roland.iwasno.net/links/?n21Yew2022-05-09T08:17:57+02:00Qubes OS is a free and open-source, security-oriented operating system for single-user desktop computing. Qubes OS leverages Xen-based virtualization to allow for the creation and management of isolated compartments called qubes.<br>(<a href="https://roland.iwasno.net/links/?n21Yew">Permalink</a>)Welcome to MirageOShttps://roland.iwasno.net/links/?8Ei_kg2022-05-09T08:15:48+02:00MirageOS is a library operating system that constructs unikernels for secure, high-performance network applications across a variety of cloud computing and mobile platforms.<br />
Mentioned as similar to IBM's VM on <a href="https://minnie.tuhs.org/pipermail/tuhs/2022-May/025771.html" rel="nofollow">https://minnie.tuhs.org/pipermail/tuhs/2022-May/025771.html</a><br>(<a href="https://roland.iwasno.net/links/?8Ei_kg">Permalink</a>)GitHub - vygr/ChrysaLisp: Parallel OS, with GUI, Terminal, OO Assembler, Class libraries, C-Script compiler, Lisp interpreter and more...https://roland.iwasno.net/links/?8i5cIw2022-02-11T14:36:27+01:00Assembler/C-Script/Lisp 64 bit, MIMD, multi CPU, multi threaded, multi core, multi user Parallel OS. With GUI, Terminal, OO Assembler, Class libraries, C-Script compiler, Lisp interpreter, Debugger, Profiler, Vector Font engine and more...<br />
Found via<br>(<a href="https://roland.iwasno.net/links/?8i5cIw">Permalink</a>)Trustworthy Systemshttps://roland.iwasno.net/links/?BuBJcQ2022-01-19T17:11:13+01:00We use rigorous formal methods to develop trustworthy software systems—systems that come with provable security, safety and reliability guarantees.<br>(<a href="https://roland.iwasno.net/links/?BuBJcQ">Permalink</a>)microkerneldude | Random rants and pontifications by Gernot Heiserhttps://roland.iwasno.net/links/?PgMgpw2022-01-19T17:09:12+01:00Blog of Gernot Heiser, one of the developers of the seL4 verified microkernel.<br>(<a href="https://roland.iwasno.net/links/?PgMgpw">Permalink</a>)Free and open source operating system for mobile phones and tabletshttps://roland.iwasno.net/links/?E_0uBQ2022-01-01T19:33:14+01:00Maemo Leste continues the legacy of Maemo. We aim to provide a free and open source Maemo experience on mobile phones and tablets like the Nokia N900, Motorola Droid 4, Motorola Bionic, Pinephone, Pinetab, Allwinner tablets and more!<br>(<a href="https://roland.iwasno.net/links/?E_0uBQ">Permalink</a>)GitHub - vvaltchev/tilck: A Tiny Linux-Compatible Kernelhttps://roland.iwasno.net/links/?ahXxQA2021-12-07T16:39:53+01:00Tilck is an educational monolithic x86 kernel designed to be Linux-compatible at binary level. Project's small-scale and simple design makes it the perfect playground for playing in kernel mode while retaining the ability to compare how the very same usermode bits run on the Linux kernel as well. That's a unique feature in the realm of educational kernels. Because of that, building a program for Tilck requires just a i686-musl toolchain from bootlin.com.<br />
<br />
Found on Leah Neukirchen's blog <a href="https://leahneukirchen.org/trivium/2021-08-15" rel="nofollow">https://leahneukirchen.org/trivium/2021-08-15</a><br>(<a href="https://roland.iwasno.net/links/?ahXxQA">Permalink</a>)THE DECSYSTEM-20 AT COLUMBIA UNIVERSITY (1977-1988)https://roland.iwasno.net/links/?5QSWjw2021-08-01T18:42:55+02:00A nontechnical reminiscence written in 1988 (on the occasion of unplugging Columbia University's last DECSYSTEM-20) for a Digital Press book that was to commemorate DEC's 36-bit machines with a series of articles, but was never published.<br>(<a href="https://roland.iwasno.net/links/?5QSWjw">Permalink</a>)The friendly Operating System for the Internet of Thingshttps://roland.iwasno.net/links/?_HmT2Q2021-05-26T09:28:24+02:00Found on <a href="https://minnie.tuhs.org/pipermail/tuhs/2017-January/009420.html" rel="nofollow">https://minnie.tuhs.org/pipermail/tuhs/2017-January/009420.html</a><br>(<a href="https://roland.iwasno.net/links/?_HmT2Q">Permalink</a>)A tiny and fast Unix-ish kernel (based on xv6), compiler, and userland for fun, education, and research.https://roland.iwasno.net/links/?kvxEdg2021-05-26T00:32:15+02:00Virtual CPU with full user/supervisor and virtual memory support, fast enough to support self-emulation.<br />
<br />
Fast C-subset compiler allowing on-the-fly compile-and-go of all applications.<br />
<br />
Network clients & servers, remote OpenGL, GUI applications, and many other nifty features.<br />
<br />
Runs under Windows or Linux.<br />
<br />
See the 00README.txt for full details and a step-by-step walkthrough tutorial.<br />
Found via <a href="https://minnie.tuhs.org/pipermail/tuhs/2017-January/009247.html" rel="nofollow">https://minnie.tuhs.org/pipermail/tuhs/2017-January/009247.html</a><br>(<a href="https://roland.iwasno.net/links/?kvxEdg">Permalink</a>)BerryBoothttps://roland.iwasno.net/links/?HZ3f-w2021-03-28T20:44:34+02:00This bootloader allows you to install multiple Raspberry Pi operating systems on a single SD card, as well as to store OS files on a separate hard drive, rather than on an SD card, as is usually the case.<br />
The site lists a number of operating systems for the Raspberry π.<br>(<a href="https://roland.iwasno.net/links/?HZ3f-w">Permalink</a>)OSdev Wikihttps://roland.iwasno.net/links/?5tLjsg2021-03-28T15:00:05+02:00This website provides information about the creation of operating systems and serves as a community for those people interested in OS development with 673 wiki articles.<br>(<a href="https://roland.iwasno.net/links/?5tLjsg">Permalink</a>)IHK/McKernel is a light-weight multi kernel operating system designed specifically for high performance computing.https://roland.iwasno.net/links/?bXHTiw2021-03-21T14:31:57+01:00Mentioned on <a href="https://www.raspberrypi.org/blog/supercomputing-with-raspberry-pi-hackspace-41/" rel="nofollow">https://www.raspberrypi.org/blog/supercomputing-with-raspberry-pi-hackspace-41/</a><br>(<a href="https://roland.iwasno.net/links/?bXHTiw">Permalink</a>)Unix Philosophy 2020https://roland.iwasno.net/links/?7SytLQ2021-02-21T18:47:11+01:00This document is a compendium of Casper Ti. Vector's thoughts about the Unix philosophy in the contemporary context.<br>(<a href="https://roland.iwasno.net/links/?7SytLQ">Permalink</a>)GitHub - udem-dlteam/mimosa: Minimal operating system for x86 intended as a basis for benchmarking and running Gambithttps://roland.iwasno.net/links/?KO3uDg2020-12-18T15:38:22+01:00The Mimosa operating system consists of a minimal kernel built on C++ and Scheme. It contains a Scheme implementation of a hard drive (ATA) driver, keyboard (PS2), serial (8250 UART), FAT32 filesystem and a small real time clock manager. The project was built to experiment with development of operating system using a high level functional language to study the development process and the use of Scheme to build a fairly complex system.<br>(<a href="https://roland.iwasno.net/links/?KO3uDg">Permalink</a>)Linux operating system targeting embedded deviceshttps://roland.iwasno.net/links/?8IGBog2020-12-01T21:36:33+01:00Instead of trying to create a single, static firmware, OpenWrt provides a fully writable filesystem with package management. This frees you from the application selection and configuration provided by the vendor and allows you to customize the device through the use of packages to suit any application. For developers, OpenWrt is the framework to build an application without having to build a complete firmware around it; for users this means the ability for full customization, to use the device in ways never envisioned.<br>(<a href="https://roland.iwasno.net/links/?8IGBog">Permalink</a>)Funtoo Linux distributionhttps://roland.iwasno.net/links/?R4aYew2020-06-12T18:41:31+02:00Welcome! Funtoo Linux (distrowatch) is a community-developed Linux meta-distribution based upon Gentoo Linux. Funtoo Linux is optimized for the best possible performance on the latest Intel and AMD hardware. Funtoo is led by Daniel Robbins, the creator of Gentoo Linux, and actively developed by the Funtoo community.<br />
Funtoo does not use systemd, but OpenRC <a href="https://www.funtoo.org/FAQ:Do_You_Support_Systemd" rel="nofollow">https://www.funtoo.org/FAQ:Do_You_Support_Systemd</a><br>(<a href="https://roland.iwasno.net/links/?R4aYew">Permalink</a>)Tock Embedded Operating Systemhttps://roland.iwasno.net/links/?JSUMYA2020-04-28T12:05:58+02:00An embedded operating system designed for running multiple concurrent, mutually distrustful applications on low-memory and low-power microcontrollers.<br>(<a href="https://roland.iwasno.net/links/?JSUMYA">Permalink</a>)About – HelenOShttps://roland.iwasno.net/links/?3ZbP3Q2019-05-03T15:15:31+02:00HelenOS is a portable microkernel-based multiserver operating system designed and implemented from scratch. It decomposes key operating system functionality such as file systems, networking, device drivers and graphical user interface into a collection of fine-grained user space components that interact with each other via message passing. A failure or crash of one component does not directly harm others. HelenOS is therefore flexible, modular, extensible, fault tolerant and easy to understand.<br>(<a href="https://roland.iwasno.net/links/?3ZbP3Q">Permalink</a>)its-hackers Info Pagehttps://roland.iwasno.net/links/?lcbEPQ2019-03-05T19:40:29+01:00Mailing list for fans of the incompatible timesharing system (ITS).<br>(<a href="https://roland.iwasno.net/links/?lcbEPQ">Permalink</a>)John Lion's “A commentary on the Sixth Edition UNIX Operating System” bookhttps://roland.iwasno.net/links/?aPwuZQ2019-01-09T20:38:44+01:00Retypeset in LaTeX. According to Warner Losh<br />
<a href="https://minnie.tuhs.org/pipermail/tuhs/2019-January/017372.html" rel="nofollow">https://minnie.tuhs.org/pipermail/tuhs/2019-January/017372.html</a><br />
the procedure name index is missing.<br>(<a href="https://roland.iwasno.net/links/?aPwuZQ">Permalink</a>)Rump Kernelshttps://roland.iwasno.net/links/?0Ovn8g2018-12-03T12:13:11+01:00Rump kernels enable you to build the software stack you need without forcing you to reinvent the wheels. The key observation is that a software stack needs driver-like components which are conventionally tightly-knit into operating systems — even if you do not desire the limitations and infrastructure overhead of a given OS, you do need drivers.<br />
Found on Kooda's blog <a href="https://www.upyum.com/en/post/2.xhtml" rel="nofollow">https://www.upyum.com/en/post/2.xhtml</a><br>(<a href="https://roland.iwasno.net/links/?0Ovn8g">Permalink</a>)NuttX Real-Time Operating System - NuttX Real-Time Operating Systemhttps://roland.iwasno.net/links/?wV_Abg2018-06-05T14:44:30+02:00NuttX is a real-time operating system (RTOS) with an emphasis on standards compliance and small footprint. Scalable from 8-bit to 32-bit microcontroller environments, the primary governing standards in NuttX are Posix and ANSI standards. Additional standard APIs from Unix and other common RTOS's (such as VxWorks) are adopted for functionality not available under these standards, or for functionality that is not appropriate for deeply-embedded environments (such as fork()).<br>(<a href="https://roland.iwasno.net/links/?wV_Abg">Permalink</a>)LUnix - The Next Generationhttps://roland.iwasno.net/links/?G5scjQ2018-06-04T17:05:37+02:00LNG is an operating system primarly for the good old Commodore64 home-computer. There also is a native version for the successor Commodore128. Ports to other 6502/6510 driven 8Bit Computers are possible but not yet started. LUnix started in 1993 and reached the internet in 1994. In 1997 LUnix0.1 was rewritten from scratch, the result is LNG.<br>(<a href="https://roland.iwasno.net/links/?G5scjQ">Permalink</a>)Awesome UNIX® listhttps://roland.iwasno.net/links/?rEMSFw2018-05-08T14:02:04+02:00This list is an exploration of the world of UNIX®, including UNIX history, the relevance of UNIX today, and lists select awesome UNIX and UNIX-like projects. This list also contains resources for UNIX standards, programming, communities, and free software.<br>(<a href="https://roland.iwasno.net/links/?rEMSFw">Permalink</a>)Project Atomichttps://roland.iwasno.net/links/?gXVkjA2018-04-24T00:32:03+02:00Deploy and Manage Your Containers in the Next-Generation Container OS<br />
Use immutable infrastructure to deploy and scale your containerized applications. Project Atomic mainly comprises Atomic Host, Atomic Workstation, and various container tooling. cloud native platforms.<br>(<a href="https://roland.iwasno.net/links/?gXVkjA">Permalink</a>)LineageOS, the successor of cyanogenmodhttps://roland.iwasno.net/links/?LCLGjw2017-08-19T13:32:03+02:00(<a href="https://roland.iwasno.net/links/?LCLGjw">Permalink</a>)How to install UBports on your devicehttps://roland.iwasno.net/links/?Q7A8pw2017-08-19T13:30:08+02:00UBports is the successor of Ubuntu touch<br>(<a href="https://roland.iwasno.net/links/?Q7A8pw">Permalink</a>)Fuzix--small Unix for 8-bit microprocessorshttps://roland.iwasno.net/links/?VwgsXw2017-04-21T11:03:18+02:00This is the announcement, more details can be found on <a href="https://github.com/EtchedPixels/FUZIX" rel="nofollow">https://github.com/EtchedPixels/FUZIX</a><br />
Note that it is not limited to 8-bit processors: core code can be built for 6502, 6809, 68000, 8086, MSP430, pdp11 and Z80/Z180.<br>(<a href="https://roland.iwasno.net/links/?VwgsXw">Permalink</a>)Micro implementations of Unixhttps://roland.iwasno.net/links/?J-_Q6g2017-04-20T22:38:55+02:00Timeline of Unix and Unix-like operating systems and related technology.<br>(<a href="https://roland.iwasno.net/links/?J-_Q6g">Permalink</a>)Incompatible Timesharing Systemhttps://roland.iwasno.net/links/?obLuFw2017-03-28T19:40:29+02:00A listing of ITS 1.0 3/19/67 has been scanned 2023-12, see <a href="https://gunkies.org/wiki/ITS_138" rel="nofollow">https://gunkies.org/wiki/ITS_138</a> and <a href="https://github.com/PDP-6/ITS-138/tree/master/ITS-Listing" rel="nofollow">https://github.com/PDP-6/ITS-138/tree/master/ITS-Listing</a><br>(<a href="https://roland.iwasno.net/links/?obLuFw">Permalink</a>)UX/RT - Universally eXtensible Real Time operating systemhttps://roland.iwasno.net/links/?FPo6wA2017-03-26T03:38:28+02:00Description of an interesting operating system (not implemented yet) based on ideas from QNX and Plan 9.<br>(<a href="https://roland.iwasno.net/links/?FPo6wA">Permalink</a>)An Introduction to Qubes OS | Qubes OShttps://roland.iwasno.net/links/?JbkeiQ2017-03-19T21:32:08+01:00A security-oriented operating system (OS).<br>(<a href="https://roland.iwasno.net/links/?JbkeiQ">Permalink</a>)f : ⊥ x ⊥ → ⊥ · Barely typedhttps://roland.iwasno.net/links/?Sgy6gw2017-03-02T18:50:00+01:00Interesting blog discussion lisp-like languages (the author has forked Clojure), Lisp Machines and more.<br>(<a href="https://roland.iwasno.net/links/?Sgy6gw">Permalink</a>)Linux process states — Idea of the dayhttps://roland.iwasno.net/links/?XVpu8g2017-01-09T09:37:12+01:00Explanation of the possible states of a Linux process.<br>(<a href="https://roland.iwasno.net/links/?XVpu8g">Permalink</a>)RIOT - The friendly Operating System for the Internet of Thingshttps://roland.iwasno.net/links/?pBqFKQ2017-01-06T19:08:09+01:00Free real-time operating system for embedded systems. Can run with 1.5 kB of RAM and 5 kB of ROM. Native ports are available for OS X and Linux.<br>(<a href="https://roland.iwasno.net/links/?pBqFKQ">Permalink</a>)FQA 0 - Introduction To Plan 9https://roland.iwasno.net/links/?q741xQ2016-11-20T16:40:15+01:00Good summary and collection of links to Plan 9, its various ports and descendants.<br>(<a href="https://roland.iwasno.net/links/?q741xQ">Permalink</a>)http://www.thenewsh.com/~newsham/myv6/READMEhttps://roland.iwasno.net/links/?MLvlyw2016-10-14T14:20:34+02:00This directory contains the files needed to build a clean unix v6<br />
installation from tape. It requires that you have "expect" and<br />
simh's "pdp11" and "wget" installed in your path.<br>(<a href="https://roland.iwasno.net/links/?MLvlyw">Permalink</a>)Redox - Your Next(Gen) OShttps://roland.iwasno.net/links/?BSsaig2016-09-01T19:39:31+02:00Redox is a Unix-like Operating System written in Rust, aiming to bring the innovations of Rust to a modern microkernel and full set of applications.<br />
<br />
Microkernel Design<br />
Most features are implemented in Rust<br />
Includes optional GUI - Orbital<br />
Newlib provided for C programs<br />
<br />
MIT Licensed<br />
Drivers run in Userspace<br />
Includes common Unix commands<br />
ZFS Filesystem Support (WIP)<br>(<a href="https://roland.iwasno.net/links/?BSsaig">Permalink</a>)GitHub - tesneddon/multics-emul: An emulator for the hardware that ran the Multics operating systemhttps://roland.iwasno.net/links/?65TTdw2016-02-28T00:52:22+01:00An emulator for the hardware that ran the Multics operating system.<br />
<br />
Most documentation is on the project wiki at<br />
<a href="https://github.com/MichaelMondy/multics-emul/wiki" rel="nofollow">https://github.com/MichaelMondy/multics-emul/wiki</a><br>(<a href="https://roland.iwasno.net/links/?65TTdw">Permalink</a>)OpenVMS vs. UNIXhttps://roland.iwasno.net/links/?2gMNmQ2016-02-24T16:30:51+01:00Interesting comparison between the two operating systems.<br>(<a href="https://roland.iwasno.net/links/?2gMNmQ">Permalink</a>)jbox.dk - Linkshttps://roland.iwasno.net/links/?q0D69w2016-01-26T21:26:14+01:00Articles about software complexity. The sanos operating system and the PDP-11 emulator running under it are interesting too.<br />
<a href="http://www.jbox.dk/sanos/pdp11.htm" rel="nofollow">http://www.jbox.dk/sanos/pdp11.htm</a><br>(<a href="https://roland.iwasno.net/links/?q0D69w">Permalink</a>)infpi / inferno-rpi — Bitbuckethttps://roland.iwasno.net/links/?lXw-CQ2015-11-20T14:21:45+01:00Porting Inferno OS to Raspberry Pi. Besides the software, the progress has been written up on the blog <a href="http://lynxline.com" rel="nofollow">http://lynxline.com</a><br>(<a href="https://roland.iwasno.net/links/?lXw-CQ">Permalink</a>)