Sophie: kernel22-2.2.25-1.1mdk src

kernel22-2.2.25-1.1mdk.src.rpm

#include <stdio.h>

extern const char *linux_banner;

int
main()
{
	printf("%s", linux_banner);
	return 0;
}