hgesser.com/ulix/

The Implementation of the ULIX Literate Operating System

header

Navigation

Privates

Publikationen

Studium

Software

Sonstiges

Blaue Links: intern
Rote Links: extern

Suche Linux-Bücher bei
Amazon.de


Subscribe ULIX: Literate Unix

A diary documenting the implementation of ULIX-i386

Welcome to the ULIX blog.

Ulix (Literate Unix) is a Unix-like operating system developed at University of Erlangen-Nürnberg. I use D. E. Knuth's concept of Literate Programming for the implementation and documentation. The goal was a fully working system which can be used in operating system courses to show students how OS concepts (such as paging and scheduling) can be implemented. Literate programs are very accessible because they can be read like a book; the order of presentation is not enforced by program logic or compiler restrictions, but instead is guided by the implementer's creative process.

Ulix is written in C and assembler for the Intel architecture. The literate programming part is handled by noweb.

On this page I document my progress with the implementation.


Navigation: 2015 | 2014 | 2013 | 2012 | 2011


v0.02: Booting, Paging (01.08.2011)


I started with OS code from Bran's OS tutorial and imported this code (slightly modified) into the tex/noweb sources. Shell scripts can create either a PDF file of the documentation or a bootable floppy image with the kernel on it. The kernel loads low in RAM and starts paging. It uses identity mapping for the first MB of RAM.

Resources used:
Bran's Kernel Development Tutorial, http://www.osdever.net/tutorials/view/brans-kernel-development-tutorial
GCC Cross Compiler, http://www.fanofblitzbasic.de/prettyos/PrettyOSMacOSX.pdf
All in one boot disk: http://rescup.winbuilder.net/bootdisk/
Qemu: http://wiki.qemu.org/
Bochs: http://bochs.sourceforge.net/
Noweb: http://www.cs.tufts.edu/~nr/noweb/
mtools (for copying the kernel binary to the floppy image): http://www.gnu.org/s/mtools/
Ulix noweb sources (Felix Freiling, unpublished)

[ Path: | persistent link ]

Copyright © 2011-2015 Hans-Georg Eßer; Server: Debian Linux, Apache Web Server, blog page powered by blosxom :: the zen of blogging, Theme: Hazard Area 1.6 (modified), created by Bryan Bell, Copyright © 2000-2006 Weblogger.com.