For the sake of clarity, get rid of negative INR for virtual interrupts.
treebf94f31c692dbfb729becf489bb833cb1565997e
-rw-r--r-- 596 HelenOS.config
-rw-r--r-- 3578 Makefile
drwxr-xr-x - boot
drwxr-xr-x - contrib
drwxr-xr-x - kernel
drwxr-xr-x - tools
drwxr-xr-x - uspace
-rw-r--r-- 216 version