Pintos-1 is a project mainly written in ..., based on the View license.

A small operating system for 80x86 platform