Fix unnecessary switching of CR3 registers in syscall handling.
[akaros.git] / user /
drwxr-xr-x   ..
-rw-r--r-- 432 Makefrag
drwxr-xr-x - apps
drwxr-xr-x - newlib
drwxr-xr-x - parlib
drwxr-xr-x - roslib