|
Topsy - A Teachable Operating System |
|||||||||||||||||||||||||||||||||||
|
Home - News - What is Topsy - Links Praktikum TI2 Demo Applet Materials - Documentation - Student' Theses - examples Source - Linked Source - Needed Tools - Legal Status Contact - Mailing List - Bug report - Feature request OS Ring - Next - Random - Skip Next - Next 5 - List Sites |
Where is the source?Here's the current source release: Topsy.tar.gz (compressed). Current source can be retrieved via cvs:
cvs -d :pserver:anonymous@drwho.ethz.ch:/usr/drwho/vault/cvs/topsy login
(pw:anonymous)
The source code itself is also available as hyperlinked HTML. What do I need to run Topsy?Topsy is a real system running on simulators or real hardware. To compile and run Topsy you'll need the following software and/or hardware: Software tools: gcc, gas, gld, gsize, objcopy (all cross-mips), gmake, bash. If you compile gcc you need to build it for the MIPS code generating target by specifying the option '--target=mips-idt-ecoff'. The same applies to gdb and the binutils. Platforms: Topsy runs currently on the following platforms:
A summary of architectures, ports and tools is given below:
What's the license?Topsy is copyrighted software and may be freely copied and distrbuted under GNU GPL.
Are there any other ports of Topsy?See 'What do I need to run Topsy?' for available platforms. You should be able to port Topsy in a few weeks to a new platform since the system is strictly divided into a portable operating system part and a hardware abstraction layer (HAL). If you think of porting Topsy please contact Lukas Ruf for coordination.
Last modification: Mon May 15 2000 copyright by ETH Zürich |