> On 15 Jun 2024, at 02:52, Peter Relich via Devel <devel@sel4.systems> 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 <devel@sel4.systems> 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 _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
