source: soft/giet_vm/giet_kernel @ 533

Name Size Rev Age Author Last Change
../
sys_handler.h 8.4 KB 528   10 years alain 1) Introducing support for external IRQs dynamic routing. 2) …
sys_handler.c 56.5 KB 528   10 years alain 1) Introducing support for external IRQs dynamic routing. 2) …
switch.s 4.9 KB 301   11 years cfuguet Bugfix for interrupt masking and demasking.
kernel_init.c 13.1 KB 528   10 years alain 1) Introducing support for external IRQs dynamic routing. 2) …
kernel.ld 784 bytes 516   10 years alain Remove the vobj object from the mapping_info, and remove global …
irq_handler.h 6.6 KB 528   10 years alain 1) Introducing support for external IRQs dynamic routing. 2) …
irq_handler.c 14.6 KB 528   10 years alain 1) Introducing support for external IRQs dynamic routing. 2) …
giet.s 7.1 KB 346   11 years alain Fixing a bug in the _sys_handler function (giet.s file). The SR value …
exc_handler.h 874 bytes 440   10 years alain Introducing dynamic allocation of peripheral channels (NIC, TTY, CMA, …
exc_handler.c 3.9 KB 528   10 years alain 1) Introducing support for external IRQs dynamic routing. 2) …
ctx_handler.h 7.0 KB 528   10 years alain 1) Introducing support for external IRQs dynamic routing. 2) …
ctx_handler.c 4.8 KB 528   10 years alain 1) Introducing support for external IRQs dynamic routing. 2) …
Note: See TracBrowser for help on using the repository browser.