Our final submission is on branch: master
Our TC2 submission is in a branch: tc2
Our TC1 submission is in a branch: milestone1
Our kernel 3 submission is in a branch: kernel3
The kernel 3 doc is located at docs/k3.pdf.
Our kernel 2 submission is in a branch: kernel2
The kernel 2 doc is located at docs/k2.pdf.
Our kernel 1 submission is in a branch: kernel1
The kernel 1 doc is located at docs/k1.pdf.
The documentation is written in Markdown and generated using pandoc. To
generate the documentation run make docs.
To enable debugging messages and KASSERTs run make debug.
To build the kernel run make. To build and copy to the tftp server, run make copy.
Run make format to run the code formatter on the code of the project. Note
that is destructive!
To run the unit tests (x86) run make test.
There are tests to test task creation and syscalls and more. To run these tests
run make ktest.