[seL4] Re: I am interested in porting LionOS to X64 architecture

Hi Peter,

...

...

...

...

"Peter" == Peter Relich via Devel writes:

Peter> I just started learning microkit through your available Peter> tutorials and I am aware that building a comprehensive VMM is Peter> no easy task. However, I was wondering if you had some Peter> intuition or if you could provide me an estimate of the Peter> libraries in the LionOS that I would need to adjust/redesign to Peter> make an X64 architecture fork? Is this even a feasible Peter> approach? It looks like I just need to swap out the aarch64 Peter> libraries with compatible x64 libraries and do some Peter> testing. Before I commit, I just wanted to get some advice on Peter> the endeavor. We're currently working on getting the microkit working on X86. It's all out-of-public-tree work at the moment; but expect pull requests soon. In addition to a microkit that enables hypervisor mode, you'll need to look at https://github.com/au-ts/libvmm and either clone and modify for a libvmm-x86 or adapt it to be cover more architectures. Likewise, the sDDF (seL4 Device Driver Framework) will be needed for device sharing: it's intended to be architecture independent except or the drivers themselves. It's at https://github.com/au-ts/sddf Peter C -- Dr Peter Chubb https://trustworthy.systems/ Trustworthy Systems Group CSE, UNSW Core hours: Mon 8am-3pm; Wed: 8am-5pm; Fri 8am-12pm.