Simple POSIX-compatible OS for i8086