pub/teachos/kernel.git/.devcontainer/x86-64/Containerfile, branch develop An educational OS kernel ide: preinstall catch2 2026-05-19T10:48:19+00:00 Felix Morgner felix.morgner@ost.ch 2026-05-19T10:48:19+00:00 1279dddbf400828cbadb1b3774fb060d18d8251c 






ide: fix box character rendering in devcontainer
2026-05-18T11:14:49+00:00

Felix Morgner
felix.morgner@ost.ch

2026-05-18T11:14:49+00:00

cb61eb0c7a2b259ebedeca78ce604742d4bbc0e8












ide: simplify devcontainer setup
2026-05-17T15:23:34+00:00

Felix Morgner
felix.morgner@ost.ch

2026-05-17T15:22:39+00:00

504a0946f5813e65c2e40bcd08c525e65308ca79