Since kernel.cpp is intended to be an example of the current best coding practices within the Sortix kernel, and the Maxsi:: API is deprecated and is being removed, it should rather use the nice C standard library.
Jonas 'Sortie' Termansen