5 ms·
I've googled "Pock OS" in every configuration I can think of, and can't find any relevant results. Closest I can find is "POK kernel"... is this a typo or am I
by kennywinker 5y ago
I've googled "Pock OS" in every configuration I can think of, and can't find any relevant results. Closest I can find is "POK kernel"... is this a typo or am I googling wrong?
- steveklabnik 5y agoIt's a typo, they mean "Tock OS" https://github.com/tock/tock https://github.com/tock/tock