Back to bookmarks

Back to index

Bookmarks: Operating Systems Theory and Implementation

Concepts and parts

GUI

http://picogui.org/ - 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

http://fresco.org - Fresco is another GUI architecture, more mature than PicoGUI but not thought for embedded systems. With many architectural similarities

File Systems

http://www.fs.net/ - Self-certifying File System

http://www.cs.ubc.ca/~feeley/DSG%20Web/dsg_p_elephant.html - Elephant, the File System which Never Forgets

http://www.coda.cs.cmu.edu/ - The Coda File System supports disconnected operations for nomadic users, and handles failures, with data reconciliation

http://www.namesys.com/ - ReiserFS. Have a look to the whitepaper (under "future vision")

Operating systems

Linux

http://lsd.linux.cz - Navigate the Linux kernel source code, from 0.01 to latest

http://edge.linuxhq.com - Linux headquarter: Last kernel versions, patches and delta

http://www.kernel.org - The official kernel

ftp://metalab.unc.edu/pub/Linux/docs/LDP - Linux Documentation Project. metalab.unc.edu is the new name of the historical sunsite.unc.edu

http://www.linuxdoc.org/ - The brand new homepage for the Linux Documentation Project

http://www.pluto.linux.it/ildp - Italian Linux Documentation Project

BeOS descendants

http://www.beunited.org/ - "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)

http://www.bebits.com/ - Links to download BeOS software and the original BeOS 5 Personal Edition

Single Address Space Operating Systems (SASOS), and other kernel-less

http://ftp.rook.com.au/ - Vapour, a SASOS still in definition phase. Interesting for learning the issues which motivate research in the field

http://uuu.sourceforge.net/ and http://www.unununium.org/ - 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"

http://goos.sourceforge.net/ - 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

http://os.inf.tu-dresden.de/L4/ - The L4 Microkernel operating system. Much research on realtime microkernel OS in there

http://www.reactos.com - ReactOS should become a free OS compatible with Win32; Many resources were present some time ago

TUNES

http://tunes.org - 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

http://cliki.tunes.org - 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

http://fare.tunes.org - The home page of the person who started it, François-René Rideau

http://tunes.org/~water - 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

http://homepages.ulb.ac.be/~arigo/bazar/infobase/ - Bazar is a still unfinished language based on local set theory

http://www.box.net.au/~matty/ultra/ - Another spinoff: Ultra is a proposal for a high level language

http://www.lvdi.net/~lee.salzman/ - The homepage of Lee Salzman. A lot of cool programming stuff (languages, Slate implementation, OS experiments, etc)

OS Developer's Resources

http://www.cs.arizona.edu/people/bridges/ - Patrick Bridges has a categorized list of operating systems

http://www.osjournal.n3.net/ - 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.

http://osdev.neopages.net/ - 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

http://neworder.box.sk/ - On NewOrder, under the section "Programming books and docs", you will find a lot of stuff, for example zwanderer's tutorials on "HamsterOS"

http://gaztek.sourceforge.net/ - GazTek Website. The author created a little OS and put it on this site with useful info

http://www.cs.utah.edu/projects/flux/oskit/ - OSKit is a kit which helps you to build your own operating system

http://www.geocities.com/SiliconValley/Peaks/1231/ - A link obtained from the ReactOS site; In the misc section many other links to *much* interesting resources are present

http://www.acm.uiuc.edu/sigops/roll_your_own/ - SigOps (Special Interest Group on OS): Create Your Own Operating System Adventure. A tutorial on how you can create an OS. Must read

http://www.500mhz.net/ - The Operating System Developers Homepage. Not much resources after all, but should improve, sooner or later

http://www.nondot.org/sabre/os/articles - The operating systems resource center. Anything you need almost on anything

http://www.mega-tokyo.com/os/os-faq.html - The OS developer FAQ

http://www.cheesecake.org/~sac/smp.html - A page on SMP

http://www.phys.uu.nl/~mjanssen/ - An OS development tutorial

http://www.osdev.org/ - "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

http://www.xanalys.com/software_tools/mm/ - The Memory Management Reference; (almost) all you need to know about how to manage memory

http://www.iecc.com/gclist/GC-faq.html - Garbage Collection FAQ

http://www.geocities.com/dos2dev/ - Development of a 32-bit P-mode OS in assembly. Based on MMURTL (you need Burgess'book, references on site)

http://www.overwhelmed.org/shawn/ - 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

http://webster.cs.ucr.edu/ - The Art of Assembly Language Programming. A great assembly course. Also a lot of resources for learning assembly (16bit, 32bit, HLA)

http://linuxassembly.org/ - Linuxassembly is a site on assembly, mainly for Linux programming but not only. Many interesting links

http://www.sandpile.org/ - Sandpile is "the" IA32 CPU site; Now also IA64

http://www.goodnet.com/~tinara/FreeVGA/home.htm - 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

http://www.webring.org/cgi-bin/webring?ring=x86asm;list - The x86 assembly webring homepage

http://www.opferman.com - The homepage of an assembly programmer, full of links and tutorials

http://nasm.sourceforge.net/ - 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.

http://my.execpc.com/~geezer/johnfine/ - The page of John Fine, with many topics on protect mode programming

Valid XHTML 1.0!

Updated: 2004-03-13 15:39 UTC