kernels - githwxi/ATS-Postiats GitHub Wiki

Operating system kernels using ATS

• Terrier is an ARM-based operating system and a fork of Puppy. It is nearly 9% ATS and 84% C.

Kernel development resources

• Some kernel development tutorials are available in contrib in the KernelBuilding directory. In particular there is a tutorial based on the singpolyma-kernel kernel programming tutorial, originally written in C by Stephen Paul Weber. For additional discussion see here.