merging up to RISCV-ISA-SIM [aka, spike] TOT from 10/29/2014
merging up to RISCV-ISA-SIM [aka, spike] TOT from 10/29/2014


dededong/goblin-core,dededong/goblin-core,dededong/goblin-core,HackLinux/goblin-core,HackLinux/goblin-core,HackLinux/goblin-core,dededong/goblin-core,HackLinux/goblin-core,dededong/goblin-core,dededong/goblin-core,dededong/goblin-core,HackLinux/goblin-core,HackLinux/goblin-core,dededong/goblin-core,dededong/goblin-core,HackLinux/goblin-core,HackLinux/goblin-core,HackLinux/goblin-core,dededong/goblin-core,HackLinux/goblin-core,dededong/goblin-core,dededong/goblin-core,HackLinux/goblin-core,HackLinux/goblin-core