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