is_jump() is needed even without kernel console
treefaed2b39d28586bd1d1b7f7585eec64d23a950dd
-rw-r--r-- 7279 .bzrignore
-rw-r--r-- 18225 HelenOS.config
-rw-r--r-- 3800 Makefile
drwxr-xr-x - abi
drwxr-xr-x - boot
drwxr-xr-x - contrib
drwxr-xr-x - defaults
drwxr-xr-x - kernel
drwxr-xr-x - release
drwxr-xr-x - tools
drwxr-xr-x - uspace
-rw-r--r-- 1940 version