INFOS

InfOS is the Informatics research operating system, designed specifically for the UG3 Operating Systems course.

InfOS has been designed by Tom Spink [email protected] to be used as a teaching aid, and forms the basis of the OS coursework. If you have any questions/problems, please get in touch with Tom in the first instance.

The operating system has been designed from scratch, from the ground-up, and tries to use modern C++ programming paradigms. As it's an ongoing work in progress, there are plenty of places that need improvement.

RUNNING

To try out InfOS, you can use QEMU in x86-64 system mode. To do anything useful, you'll also need the user-space, which you can check-out from:

https://github.com/tspink/infos-user

Here are some commands to get you started:

git clone https://github.com/tspink/infos

git clone https://github.com/tspink/infos-user

cd infos

make

cd ../infos-user

make

make fs

qemu-system-x86_64 -m 8G \

-kernel ../infos/out/infos-kernel
-debugcon stdio
-hda bin/rootfs.tar
-append 'pgalloc.debug=0 pgalloc.algorithm=simple objalloc.debug=0 sched.debug=0 sched.algorithm=cfs syslog=serial boot-device=ata0 init=/usr/init'

This should boot InfOS in QEMU, starting the example user-space.

Since this project was created for a course at the University of Edinburgh, it is /moderately/ bespoke, although it is technically a general purpose operating system. If you are interested in the coursework, get in touch and I can supply the documentation!

[email protected]