log cos/kernel/kernel.c @ 29:7e3bdcb391dc

age author description
Thu, 29 Dec 2011 19:34:01 +0100 windel Added get_page function to mm
Wed, 28 Dec 2011 13:38:43 +0100 windel Moved Makefiles
Tue, 27 Dec 2011 18:59:02 +0100 windel Added some files for the python port
Tue, 27 Dec 2011 17:36:52 +0100 windel Added mm.c