tag	line	file	source code
puts	284	zBoot/misc.c	puts("\n\n");
puts	285	zBoot/misc.c	puts(x);
puts	286	zBoot/misc.c	puts("\n\n -- System halted");
puts	323	zBoot/misc.c	puts("Uncompressing Linux...");
puts	329	zBoot/misc.c	puts("done.\n");
puts	331	zBoot/misc.c	puts("Now booting the kernel\n");