pub/teachos/toolchains.git/patches/gcc-16.1.0-x86_64-pc-elf/0001-platform.patch, branch main

pub/teachos/toolchains.git/patches/gcc-16.1.0-x86_64-pc-elf/0001-platform.patch, branch main Toolchains for TeachOS development gcc: update to 16.1.0 2026-04-30T16:08:24+00:00 Felix Morgner felix.morgner@ost.ch 2026-04-30T16:08:24+00:00 3fff4803a38c9e3ae22844319d6392e96ee7042e