[seL4] Share UART with Guest Linux

Hi all, For experiment, I created a simple app along with the vmm using CamKES-ARM-VM repository. Currently the simple app only prints strings periodically using printf(). However as soon as the guest Linux starting running. I cannot print anything and also receives error as following: I

Re: [seL4] seL4 developer review of RISC-V privileged ISA spec?

I'm also extremely happy to hear this.. Looking forward to reasonable (or at least effable) specs! On Wed, Mar 7, 2018 at 11:47 PM, Corey Richardson wrote: > I'm so happy to hear this! > > On Thu, Mar 8, 2018, at 00:18, gernot.hei...@data61.csiro.au wrote: > > Yes, RISC-V