Back to bookmarks

Back to index

Bookmarks: Operating Systems Theory and Implementation

Concepts and parts

GUI - PicoGUI is a GUI architecture designed with embedded systems in mind, incompatible with X. Server-side movement of many functions, content and presentation separation, integer/fixed point math, themability are some of its features - Fresco is another GUI architecture, more mature than PicoGUI but not thought for embedded systems. With many architectural similarities

File Systems - Self-certifying File System - Elephant, the File System which Never Forgets - The Coda File System supports disconnected operations for nomadic users, and handles failures, with data reconciliation - ReiserFS. Have a look to the whitepaper (under "future vision")

Operating systems

Linux - Navigate the Linux kernel source code, from 0.01 to latest - Linux headquarter: Last kernel versions, patches and delta - The official kernel - Linux Documentation Project. is the new name of the historical - The brand new homepage for the Linux Documentation Project - Italian Linux Documentation Project

BeOS descendants - "An international, non-profit organization working to define and promote open specifications for the delivery of the Open Source BeOS-compatible Operating System". Links to all the (open-source) projects for reimplementing BeOS, notably OpenBeOS (temporary name) - Links to download BeOS software and the original BeOS 5 Personal Edition

Single Address Space Operating Systems (SASOS), and other kernel-less - Vapour, a SASOS still in definition phase. Interesting for learning the issues which motivate research in the field and - Unununium, "an effort at creating a highly dynamic environment, that can be molded into various systems capable of sharing part, thus simplifying and reducing the time needed to develop many closely related, but not identical, specialized OS" - GO! OS is a proof-of-concept OS; all the code is run in privileged mode, and privileged code execution in user processes is prevented by preliminary code scanning

See also Lee Salzman's POS (look under TUNES section)

Other operating systems - The L4 Microkernel operating system. Much research on realtime microkernel OS in there - ReactOS should become a free OS compatible with Win32; Many resources were present some time ago

TUNES - TUNES is a Useful Nevertheless Expedient System. The project aims to redefine the "operating system" concept in order to drastic improve expressive power in computation; Computational reflection is regarded as the theoretical framework which promises to enable this shift. As the framework and the objectives are still not fully understood the project has being in an explorative phase for a very long time - The TUNES cliki is the most relevant production of the project. It gathers the results of the "Review Subproject", i.e., an impressive catalogue of links to existing languages, operating systems, references to people, workgroups, papers on mathematic, logic, information theory and language/system engineering; The glossary, an attempt to build a common knowledge base, with nice (well, not always) explainations of many terms; The Learning Lounge, aimed at making an even better background - The home page of the person who started it, François-René Rideau - Brian Rice homepage. He is at work on Slate, a candidate high-level language for TUNES, and on Arrows, a knowledge representation system homo-iconicly based on binary arrows - Bazar is a still unfinished language based on local set theory - Another spinoff: Ultra is a proposal for a high level language - The homepage of Lee Salzman. A lot of cool programming stuff (languages, Slate implementation, OS experiments, etc)

OS Developer's Resources - Patrick Bridges has a categorized list of operating systems - An initiative of alt.os.development. The OS Journal contains a collection of documents in different subjects written by various OS developers around the world. - Bona Fide OS Development. This is a starting point, which gathers tutorial on almost every aspect from ground up: From boot sectors, to protect mode, to paging, virtual memory etc. With code - On NewOrder, under the section "Programming books and docs", you will find a lot of stuff, for example zwanderer's tutorials on "HamsterOS" - GazTek Website. The author created a little OS and put it on this site with useful info - OSKit is a kit which helps you to build your own operating system - A link obtained from the ReactOS site; In the misc section many other links to *much* interesting resources are present - SigOps (Special Interest Group on OS): Create Your Own Operating System Adventure. A tutorial on how you can create an OS. Must read - The Operating System Developers Homepage. Not much resources after all, but should improve, sooner or later - The operating systems resource center. Anything you need almost on anything - The OS developer FAQ - A page on SMP - An OS development tutorial - "The place to start for OS developers". In facts not many resources, the interesting thing are the many links to ongoing projects and developer sites. OSWebring homepage - The Memory Management Reference; (almost) all you need to know about how to manage memory - Garbage Collection FAQ - Development of a 32-bit P-mode OS in assembly. Based on MMURTL (you need Burgess'book, references on site) - SHAWN is a little OS written for a university course. Seems a very good starting point, as the author put a lot of explaining notes

Assembly and low-level programming - The Art of Assembly Language Programming. A great assembly course. Also a lot of resources for learning assembly (16bit, 32bit, HLA) - Linuxassembly is a site on assembly, mainly for Linux programming but not only. Many interesting links - Sandpile is "the" IA32 CPU site; Now also IA64 - FreeVGA aims to document at a low level the standard and the implementations of VGA/SVGA. A lot of stuff, something does not work. Alas, not updated for a long time, but anyway very complete;list - The x86 assembly webring homepage - The homepage of an assembly programmer, full of links and tutorials - The Netwide Assembler (NASM) homepage. NASM is a FREE and portable assembler, available for Windoze, Linux, and whatever. A real must. Drop all your nonportable, nonfree MASM, TASM, etc. - The page of John Fine, with many topics on protect mode programming

Valid XHTML 1.0!

Updated: 2004-03-13 15:39 UTC