atsboot

A tiny 32 bit kernel written in ATS.

This was largely based on the rustboot project which does the same but using Rust.

It paints the screen bright red and then hangs. That's it:

Setup

You need a few things to run atsboot:

1. qemu
2. a cross-compiler for i386
3. nasm
4. ATS2 Positiats

Running it

To compile, simply

$ make

To run,

$ make run