log cos/kernel/kernel.h @ 24:d8627924d40d

age author description
Fri, 02 Dec 2011 14:00:02 +0100 windel Split up in more files and reboot command