For the sake of clarity, get rid of negative INR for virtual interrupts.
[helenos.git] / kernel / 
tree3f7cb79d98ebc5624c20780a8d475f232c947ef0
drwxr-xr-x   ..
-rw-r--r-- 8724 Makefile
drwxr-xr-x - arch
drwxr-xr-x - doc
drwxr-xr-x - genarch
drwxr-xr-x - generic
-rw-r--r-- 3605 kernel.config
drwxr-xr-x - test
drwxr-xr-x - tools