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

Re: [seL4] Questions about Allocman

Hello > > The physical address is not necessarily stored anywhere, as this is dependent > on the specific untyped manager. There is an interface function > `allocman_utspace_paddr` > (https://github.com/seL4/seL4_libs/blob/master/libsel4allocman/include/allocman/allocman.h#L410) > that will