<comment> The below message was posted to announce@sel4.systems. It was inappropriate for that list, but got though due to a configuration error (now fixed). I’m reposting it here as it would be appropriate for this list. Feel free to respond here. </comment>
Hello, Which operating systems are based on seL4 Microkernel? Any home usage?
Thanks.
hi every body ...
I recently started working with sel4 vmm... I have some problem with running cma34cr_centos with qemu (when run this vm with qemu, some problem occur for example :"MSR(48FH).vmx-exit-load-perf-global-ctrl" ) so i have this question .. can I run cma34cr vms with qemu?