but what would be really interesting would be to see open-source hardware development, similar to a Linux kernel
What you might get is crowdfunded hardware, but that requires reasonable demands from the target market.
See this discussion http://electronics.stackexchange.com/questions/61873/why-is-...
We've open sourced the compiler; and we've designed some open-source hardware in Cx, see for example our Ethernet MAC: https://github.com/synflow/ethernet-mac
No waveform yet because of limited manpower, but this is on the TODO list :-)