xPC Target kernel

antimason
Hello
Can I write xPC Target Kernel into 
NanoPC-T1 | Exynos4412 ARM Cortex-A9 Board
???????????