CJKay/kstdc

A freestanding standard library for the C programming language for kernels