The subject is what I want to know.
I'll use i.MX8M EVK board for my project.
But I don't know the board can support ARINC 653.
And also, I don't know the board's kernel has sched.h exactly( dose it have sched_setaffinity() or pthread_setaffinity_np()?)
Please tell me about them.(it's okay, not for both. if you know one of them, just tell me)