English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
ANNOUNCE: OS Prototype
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2005-05-29 (04:11)
From: Jonathan Roewen <jonathan.roewen@g...>
Subject: ANNOUNCE: OS Prototype
(Apparently showed up blank, so a repost. Sorry for anyone this shows
up twice for)

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

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