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

On 15 Jun 2024, at 02:52, Peter Relich via Devel wrote:

I just started learning microkit through your available tutorials and I am aware that building a comprehensive VMM is no easy task. However, I was wondering if you had some intuition or if you could provide me an estimate of the libraries in the LionOS that I would need to adjust/redesign to make an X64 architecture fork? Is this even a feasible approach? It looks like I just need to swap out the aarch64 libraries with compatible x64 libraries and do some testing. Before I commit, I just wanted to get some advice on the endeavor.

Is forking LionOS to an X64 architecture feasible, or should I start at a lower level (i.e., redesigning the vmm?)

On 15 Jun 2024, at 08:38, Peter Chubb via Devel wrote:

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

we’re also working on some sDDF drivers for x86 platforms internally, but they may not help you much on your specific platform Gernot