Re: [lowrisc-dev] [gsoc-16] Draft proposal for porting xv6 to lowRISC