Non-Linux OS support for SFI?

SFI-platforms require an SFI-OS