3 ms·
What particular concern do you have with the scheduling policy? As I understand it, it's an RTOS for embedded devices. They're most likely just referring to SPA
by ajxs 6y ago
What particular concern do you have with the scheduling policy? As I understand it, it's an RTOS for embedded devices. They're most likely just referring to SPARK's formal proofing.
As for the STMF4, they're possible referring to the STMF4DISCOVERY boards.