log cos/kernel/kernel.h @ 34:8012221dd740

age author description
Mon, 16 Jan 2012 13:46:06 +0100 windel Fixes for uninitialized data. This causes problems on real machines