Merged random-configuration checking script + few fixes
treeb9a1ac40a008d919ca222fcb6ee1e28577be27e0
-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