pub/teachos/kernel.git/libs/kstd/src/os, branch develop An educational OS kernel kstd: clean up OS interface split 2025-12-19T10:55:48+00:00 Felix Morgner felix.morgner@ost.ch 2025-12-19T10:55:48+00:00 e22c2dcad410504c65d8ccba0ab66d96cf0c61a1