Stefan Lankes 930bc01817 use the meaningful name readyqueues instead of runqueue		2013-11-22 18:07:05 +01:00
..
eduos	use the meaningful name readyqueues instead of runqueue	2013-11-22 18:07:05 +01:00