Dropping RISC-V support (via fratti) — discussion

#hardware #linux