To whom may concern, I have read the supported Embedded hardware list given in the website and I cannot found the type I am using. The type of my SoC is Samsung’s s5p4418. I am wondering whether it is supported in any Xenomai release? Thanks. Best regards.
Rui Duan 发送自 Windows 10 版邮件应用 _______________________________________________ Xenomai mailing list [email protected] https://xenomai.org/mailman/listinfo/xenomai
