Yang Junyi
Results
7
comments of
Yang Junyi
TCB里面放一个500大小的数组太大了, 似乎是内存的问题, 你改成5就可以了. btw 似乎这样实现的性能比较低
> @kent-mcleod thanks ! > > > * The irq_server could be removed and the IRQ delivered directly to the VMM thread. This would remove the additional seL4 IPC between...
I want to practice running sel4 as a VMM (hypervisor) on my rpi4, and then running a virtual machine on it, but I don’t know how to practice it. I...
> > I want to practice running sel4 as a VMM (hypervisor) on my rpi4, and then running a virtual machine on it, but I don’t know how to practice...
> > > > I want to practice running sel4 as a VMM (hypervisor) on my rpi4, and then running a virtual machine on it, but I don’t know how...
> chenwanlei 好的,已经申请了,Thank you