source: soft/giet_vm/giet_kernel

Name Size Rev Age Author Last Change
../
ctx_handler.c 7.0 KB 818   8 years cfuguet Optimization: When doing a context switch between threads of the same …
ctx_handler.h 8.4 KB 760   8 years alain
exc_handler.c 7.6 KB 802   8 years alain Improve error message print, to avoisd interleaving.
exc_handler.h 870 bytes 798   8 years meunier * Bug fixes in Rosenfeld
giet.s 10.1 KB 802   8 years alain Improve error message print, to avoisd interleaving.
irq_handler.c 18.0 KB 811   8 years bouyer Do not try to allocate a WTI and write it to the PIC if we don't have …
irq_handler.h 6.7 KB 697   9 years guerin kernel: release WTI mailbox associated with TTY We don't block on …
kernel.ld 721 bytes 742   8 years alain Remove the seg_kernel_init vseg: All the kernel code is now packed in …
kernel_init.c 16.2 KB 760   8 years alain
switch.s 4.9 KB 818   8 years cfuguet Optimization: When doing a context switch between threads of the same …
sys_handler.c 139.7 KB 820   8 years cfuguet Improving the pthread_join function: - The calling thread does a …
sys_handler.h 13.3 KB 774   8 years alain The _sys_fat_dump() kernel function has been introduced to support the …
Note: See TracBrowser for help on using the repository browser.