Looks like the compiler could be used to target MikeOS. There's a library project, mlib, that provides C-callable MikeOS API wrappers for Smaller C. Only a small bugfix in the linker was needed to link mlib correctly.