I'm trying to use ATS for OS development. This means: no dependence on any feature of the host environment; nothing from libc.
It looks like the parts of the prelude that implement basic types and language features are the same as the parts that interface with the host libc (for e.g. exit, malloc, etc.). Is there something I'm missing? If not, is there any chance official, integrated support can be added for a freestanding mode? Happy to contribute on that count, FWIW; just want to gauge interest.