Comment by newer_vienna

Maybe it falls under the "Various hobby/alternative OSes up to some very recent ones" category. I'm not going to download a one hundred gigabyte file to find out though...