TODO on here:

* actual development of standards, these have been partially informally
  written up and are tagged (ikiwiki) here: https://libre-soc.org/standards/
* all of the above need to be adopted (sigh) to PowerISA
* a software simulator needs to be rewritten (probably http://www.m5sim.org)
* communication with the relevant OpenPower Foundation members needs to be
  established and our existence and status as a peer contributor "asserted"
  (if you know what i mean)
* formal write-up of the (informal) standards needed, followed by presentation
  (and walking through "acceptance" process) with OpenPower Foundation
* creating a suitable "Formal Correctness Proof" of the augmentations to
  the standard(s), which is marginally complicated by the fact that IBM /
  Freescale / NXP as part of the OpenPower Foundation don't *have* a process
  in place for this... yet.  they know they need one.

budgets for standards writeup:

* SimpleV EUR 8000
* ISAMUX/NS 2500
* Atomics 2500
* Variable Encoding 2500
* Compressed 5000
* FP16 2500
* ISA Switch (POWER-RV64GC) 3000

total EUR 26000

* openpower simulator: EUR 12000
* unit tests under simulator: EUR 6000
* communications budget for OpenPower Member discussion and proposals: EUR 6000
* formal proofs: leave off because it still needs discussion with OpenPower Foundation

so, alain: again, we need a straight text file (a comment here is sufficient) taking:

* each URL of each bugreport above
* each of the bugreports comment *zero* above
* each budget amount above
* each summary line above

from those 4 pieces of information arrange them heading, budget, url, paragraph, heading, budget, url, paragraph.

NLNet can then take that as "Schedule A" to the MoU, which we can sign.

see http://bugs.libre-riscv.org/show_bug.cgi?id=158#c4 for an example.

Schedule A for the MoU of Formal Standards OpenPOWER proposal 2019-10-046

# SimpleV
The SimpleV Standard, applied to POWER ISA, needs to be written up in a form suitable for proposal to the OpenPOWER Foundation at a later date.  Followthrough to adoption included.
Current draft starting page: https://libre-riscv.org/simple_v_extension/

Budget: EUR 8000
URL: http://bugs.libre-riscv.org/show_bug.cgi?id=213

# ISAMUX/NS 
The ISAMUX/NS Standard, applied to POWER ISA, needs to be written up in a form suitable for proposal to the OpenPOWER Foundation.  Followthrough to adoption included.

Budget: 2500
URL: http://bugs.libre-riscv.org/show_bug.cgi?id=214

# Atomics
A formal write-up of the c++ Atomics protocol is needed, to be proposed
to the OpenPOWER Foundation.  This will be useful for OpenPOWER as well.

Budget: 2500
URL: http://bugs.libre-riscv.org/show_bug.cgi?id=236

# Variable Encoding
A formal write-up of the Variable-sized Opcode protocol is needed, to
be proposed to the OpenPOWER Foundation at a later date.

Budget: 2500
URL: http://bugs.libre-riscv.org/show_bug.cgi?id=237

# Compressed
A formal write-up of a suitable compressed ISA Opcode protocol is needed, to
be proposed to the OpenPOWER Foundation at a later date.

Budget: 5000
URL: http://bugs.libre-riscv.org/show_bug.cgi?id=238

# FP16
A formal write-up of the augmentation of POWER ISA to switch on IEEE754 FP16 (also useable for  FP128) is needed, to be proposed to the OpenPOWER Foundation at a later date.

Budget: 2500
URL: http://bugs.libre-riscv.org/show_bug.cgi?id=239

# ISA Switch (POWER-RV64GC)
A formal write-up of the means by which processors may switch to RISC-V (and back, from POWER), to be proposed to the OpenPOWER Foundation at a later date.

Budget: 3000
URL: http://bugs.libre-riscv.org/show_bug.cgi?id=240

# OpenPOWER simulator
Augmentation of an existing POWER ISA simulator that implements the proposed standards is needed.  It is likely to start from gem5.  Upstreaming is also
to be considered.

Budget: EUR 12000
URL: http://bugs.libre-riscv.org/show_bug.cgi?id=241

# unit tests under OpenPOWER simulator
For each instruction added which is part of the proposed standards, under the simulator a unit test is needed for that instruction.

Budget: EUR 6000
URL: http://bugs.libre-riscv.org/show_bug.cgi?id=242

# Documentation budget for OpenPower Member discussion and proposals
The informal development process for the Standards is a critical step that involves documenting all ideas and prototype proposals, then seeking feedback from the relevant stakeholders and the wider internet community.  This takes several months and involves tens of thousands of words being written and then reviewed.  All documentation will be on the Wiki.

Budget: EUR 6000
URL: http://bugs.libre-riscv.org/show_bug.cgi?id=243

received signed MoU from Bob Goudriaan at NLNet (with thanks and gratitude)