Hmm, odd listing. Looks like an embedded linux job working on a BSP, but they don't have any hardware I know of which ships with Linux. Even their constrained environments use things like their own L4 variant or RTKit.