Doesn't seem to have any contributions in the last few years. Do you know if it has drivers for new-ish networking cards? I assume, like most other educational operating systems, it only supports QEMU virtual devices.

They have switched to risc-v as their architecture