3 ms·

Does anyone use paged memory in hard realtime systems?