4 Commits

Include renames

Author	SHA1	Message	Date
kaf24@firebug.cl.cam.ac.uk	b7d34829a3	Mini-os updates from Grzegorz Milos.	2005-07-06 10:46:29 +00:00
kaf24@scramble.cl.cam.ac.uk	d47201cc4f	bitkeeper revision 1.520 (3f8d13d8qVVqxcYD--4cXYs5egqNyg) ... Many files: Fix the minos license so that it is usable for XP and BSD ports. minios.lds: Rename: extras/mini-os/vmlinux.lds -> extras/mini-os/minios.lds .del-list.h~d612a8726e8d42e: Delete: extras/mini-os/h/list.h .del-COPYING~1f9753354580bd13: Delete: extras/mini-os/COPYING	2003-10-15 09:31:04 +00:00
kaf24@scramble.cl.cam.ac.uk	f5e39ec466	bitkeeper revision 1.490 (3f831e5fpXnszWjg8lV_9law4lUnbg) ... COPYING: new file mm.c, hypervisor.c: Clearly GPL the mini-os.	2003-10-07 20:13:19 +00:00
iap10@labyrinth.cl.cam.ac.uk	e4130630e1	bitkeeper revision 1.483 (3f81a3e2iM-0WXaGxUS3ywM3_KZqLw) ... move mini-os to extras directory	2003-10-06 17:18:26 +00:00