Re: [seL4] Share UART with Guest Linux

Sorry for the confusion. printf works fine. syscall 162 is actual SYS_nanosleep. I guess it is not implemented by sel4’s libmuslc yet. Best Regards -Daniel Wang > On Mar 8, 2018, at 11:53 PM, Daniel Wang wrote: > > Hi all, > > For experiment, I created a simple

[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