3 ms·More C and RTEMS, maybe ADA/SPARK too (least prio)by nix23 4y agoMore C and RTEMS, maybe ADA/SPARK too (least prio)