secgateway/kernel/linux-4.14.83/arch/powerpc/boot/dummy.c

int main(void)
{
	return 0;
}