Reduce memory usage.
[bertos.git] / kern /
drwxr-xr-x   ..
-rwxr-xr-x 1710 file.h
-rwxr-xr-x 3875 monitor.c
-rwxr-xr-x 1959 monitor.h
-rwxr-xr-x 7314 msg.h
-rwxr-xr-x 13443 proc.c
-rwxr-xr-x 2254 proc.h
-rwxr-xr-x 4282 proc_p.h
-rwxr-xr-x 4554 sem.c
-rwxr-xr-x 1489 sem.h
-rwxr-xr-x 6131 signal.c
-rwxr-xr-x 1968 signal.h
-rwxr-xr-x 2134 switch_avr.S
-rwxr-xr-x 2517 switch_dsp56k.c
-rwxr-xr-x 1667 switch_i196.s32
-rwxr-xr-x 1247 switch_i386.s
-rwxr-xr-x 940 switch_win32.s
-rwxr-xr-x 1427 switch_x86_64.s