> - You cannot use all normal application interfaces. You have to use
> internal OS interfaces. For example, you cannot call printf() in the OS
> but you can call syslog(). You should not use file descriptors. Instead,
> there are are special OS internal interfaces for file system access,
> network access, etc.
>
> This might actually work .. using application-only interfaces inside the
OS. But there could be some gotchas in doing that and architecturally, it
is a pretty ugly thought: You would have to duplicate the entire user
interface within the OS. That would be quite large and would most likely
have some kind of issues.
