source: trunk/kernel @ 390

Name Size Rev Age Author Last Change
../
devices 346   7 years max Hide soclib_iob.
doc 1   8 years alain First import
kern 389   7 years alain Update the RPC_VMM_GET_VSEG.
libk 367   7 years alain Change Time unit from cycle to TICK (in millisecond). Fix several bugs …
mm 390   7 years alain RPC_VMM_GET_REF_VSEG renamed to RPC_VMM_GET_VSEG
syscalls 315   7 years alain Redefine the fuctions ppm_base2page() / ppm_page2base() / …
vfs 380   7 years alain Remove the generic kernel/kern/do_exception files to handle exceptions …
COPYRIGHT 17.6 KB 1   8 years alain First import
Note: See TracBrowser for help on using the repository browser.