[brucehoult]

I'm not even sure what side he thinks he is on. RISC-V isn't an open core, it's an open specification of the interface (only) between hardware and software. And it's not GPL, it's CC-BY-4.0 (BSD/MIT-like).