Replace the old IRQ dispatcher and IPC notifier with new implementation.
[helenos.git] / kernel / arch / ia32 / 
tree7a0ffe545f1e5b63f1dce00c3c368918e66e00e2
drwxr-xr-x   ..
-rw-r--r-- 3810 Makefile.inc
-rw-r--r-- 1658 _link.ld.in
drwxr-xr-x - include
drwxr-xr-x - src