Sophie: kernel-mosix-2.4.17-1mdk src

kernel-mosix-2.4.17-1mdk.src.rpm

#include <stdio.h>

extern const char *linux_banner;

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