Stefan Lankes 34a883b767 define default stack size of user-level applications		2015-01-18 20:30:03 +01:00
..
eduos	define default stack size of user-level applications	2015-01-18 20:30:03 +01:00