MODULE Kernel;
- IMPORT S := SYSTEM, stdlib := C99stdlib, stdio := C99stdio,
- time := C99time, wctype := C99wctype, sysmman := C99sys_mman,
- dlfcn := C99dlfcn, types := C99types, fcntl := C99fcntl,
- unistd := C99unistd, signal := C99signal, setjmp := C99setjmp;
+ IMPORT S := SYSTEM, stdlib := PosixCstdlib, stdio := PosixCstdio,
+ time := PosixCtime, wctype := PosixCwctype, sysmman := PosixCsys_mman,
+ dlfcn := PosixCdlfcn, types := PosixCtypes, fcntl := PosixCfcntl,
+ unistd := PosixCunistd, signal := PosixCsignal, setjmp := PosixCsetjmp;
(* init fpu? *)
(* add signal blocking to avoid race conditions in Try/Trap/TrapHandler *)