atsboot. A tiny 32 bit kernel written in ATS

github.com/puffnfresh/atsboot
by @puffnfresh

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.