Purge decoupled loads and wait instruction.
doc: start section for defaults
chisel: Better printing of cache/SPM sizes .
hardware: Enable zero-sized SPMs and caches.
doc: only 9 core Xilinx bit file
Merge branch 'master' of github.com:t-crest/patmos
hardware, simulator, doc: Add a "CPU count" field to the CpuInfo device.
c: Update code to iterate only over the actual number of cores.
Merge branch 'master' into mp_barrier
c: sample programs now all use get_cpucnt() and corethreads.