#include <stdio.h>

#ifndef __linux__
#error "This code should be compiled for Linux."
#endif

void jazelle_main(void);

int main() {
	const char* names[] = { NULL, "???", "???", "???", "ARM7", "ARM9", "ARM11",
		"Cortex-Ax", "Cortex-Axx (AArch64)", "Cortex-X", "???", "???", "???" };

	printf("Compiled for ARM v%d aka %s\n", __ARM_ARCH, names[__ARM_ARCH]);
	jazelle_main();
	return 0;
}