9 ms·And then there's PDOS (public domain operating system): https://www.pdos.org/ https://www.pdos.org/by erelong 7mo agoAnd then there's PDOS (public domain operating system): https://www.pdos.org/ https://www.pdos.org/