Please do not rely on any system headers for the microkit API

Currently, there is some dependence on system headers:

Lines 11 to 12 in 17a2735

    
           #include <stdint.h> 
        
           #include <stdbool.h>

It would be preferable, if the SDK is truly self-contained; then an empty sysroot would be sufficient to compile. I know, ~~most~~ many cross tool-chains do ship some header files, and often this works else just by leaking in the header from a glibc based toolchain (since we don't actually link something), but I'd much prefer not rely on any of that.

Good point, thank you for bringing this up.

This should now be resolved.