Desert Spring-Time: An Operating System Project

This is the official release of the Desert Spring-Time prototype
operating system. It is written almost entirely in OCaml.

The system is comprised of:
 -  IDE driver and partition reading code
 -  NE2000 ISA driver
 -  Realtek 8139 PCI driver
 -  VBE (via GRUB) support in 32bit mode
 -  PS/2 mouse & keyboard support
 -  Networking stack

It has two command-line tools for testing networking: nslookup and
ping. Each takes an address, and an optional interface number (an
integer starting at 0) as arguments. Interfaces are automatically set
up once a DHCP lease has successfully been obtained—there is currently
no support for manually configuring an interface.

The sources are available online at
<http://glek.net/subversion/os/kernel>, as well as a floppy image
<http://dst.purevoid.org/>.

To test in qemu, the following options are required to test networking
and graphics: -std-vga (for VBE), and -isa (for NE2000 card to be
present in ISA mode).

The DST Team
Jonathan Roewen and Taras Glek