x86: add PAGE_KERNEL_EXEC_NOCACHE

[wrt350n-kernel.git] / arch / ppc / boot / simple / dummy.c

int main(void)
{
        return 0;
}