25 Sep
2020
25 Sep
'20
6:15 p.m.
I get one report in #fedora where Sokol says it works using F32, so it may not affect everyone. OTOH, I just booted another F32 bare metal machine with much different hardware and it has the same problem, so it must be widespread.