Ported kernel files and Syscall wrappers