| Name | Size | Permissions | Options |
syscalls |
-- | drwxr-xr-x | |
Makefile |
1.522 KB | -rw-r--r-- | |
Makefile.gate |
0.912 KB | -rw-r--r-- |
| Name | Size | Permissions | Options |
syscalls |
-- | drwxr-xr-x | |
Makefile |
1.522 KB | -rw-r--r-- | |
Makefile.gate |
0.912 KB | -rw-r--r-- |