modified:   Makefile
	new file:   Makefile~
	new file:   kernel