merge mainline changes
commit0c2d9bb57bc590e00bd17e5f7cf0937be160cca7
authorMartin Decky <martin@decky.cz>
Wed, 25 Dec 2013 22:54:29 +0000 (25 23:54 +0100)
committerMartin Decky <martin@decky.cz>
Wed, 25 Dec 2013 22:54:29 +0000 (25 23:54 +0100)
treea81b7a8c50511925641245e33e44b08a6cdc758d
parentf7a33dea6c14aefebb1d11fcaf8d904947793cad
parentac36aed6ba03d52c09889649d82815646527f5b5
merge mainline changes
HelenOS.config
kernel/generic/src/proc/scheduler.c
tools/autotool.py
tools/toolchain.sh