Would this being built on RISC-V help with getting a formal CPU spec?
Would this being built on RISC-V help with getting a formal CPU spec?
As a fully open source effort, we of course want every aspect of the chip to be fully documented and auditable. It's useful to have something like a dedicated core to handle initial boot, but it's not useful to keep that core completely undocumented (e.g. the Intel Management Engine). Our answer there is what we term 'minion cores' (http://www.lowrisc.org/downloads/lowRISC-memo-2014-001.pdf), microcontroller-class cores to handle these sort of tasks. These are fully documented, open source, and implement the RISC-V ISA.
As for formal specifications, there has been some work on specifying the RISC-V ISA using L3 https://github.com/SRI-CSL/l3riscv. MIT have been working on a specifying using their 'Kami' tool as well.
This is, as far as I understand, at least in software, the main difference between Free- and Open Source-software.
I wonder if there is some movement like the Free Software movement but Free Hardware instead.
* "Free software" and "open source software" are two terms for the same thing: software released under licenses that guarantee a certain, specific set of freedoms.
https://opensource.org/faq#free-software
What you're describing may be what's sometimes called "shared source".
On the minion cores: that sounds quite interesting and I'm reading the paper now. Are they very different from e.g. the USB and network chips on the RPi, aside from having open firmware?
Some of the RISC-V ISA details are final and some are not. Check their website for the specs.
- AESNI - fine grained sleep states
so you expect someone brand new to start at iphone 6 level of performance? ....
See page 43 - https://riscv.org/wp-content/uploads/2016/01/Wed1345-RISCV-W...