Port the user mode OS library to GCC