3 ms·

Except that I've looked at a lot of OS memory management code and the savings are not 1000x.

• torpor 16y ago
  Not any more, perhaps, but in the days of the M68k MCU ..