is_jump() is needed even without kernel console
[helenos.git] / kernel / 
tree3b7def38d4ab2f541500f5afa8a7bf6dfa379508
drwxr-xr-x   ..
-rw-r--r-- 13403 Makefile
drwxr-xr-x - arch
drwxr-xr-x - doc
drwxr-xr-x - genarch
drwxr-xr-x - generic
drwxr-xr-x - test
drwxr-xr-x - tools