Hector Martin

More importantly, Apple isn't going to go off suing people for working on this project. While reverse engineering macOS drivers may be legally questionable in some jurisdictions, it's perfectly legal in others, and so is getting the binaries (any mac owner can do it).

So what do you think? Is this something you'd actually throw money at? If there is enough interest that this might succeed, I'll open up a Patreon. Obviously all development would be public and open source.

On a personal level, I'm already freelance and this is the kind of work I enjoy doing, so I'd be very happy to dedicate a large fraction of my time to this. (You've seen what I can do on game consoles in my spare time, think much more than that)

I think there is no point on working on this unless a certain minimum is met such that I can guarantee a decent time investment - I don't want this to be another half-assed Linux port that makes for a fancy tech demo but nobody would actually want to use.

So I'm thinking I would set up the Patreon in "pay per creation" mode initially, or otherwise paused, and not charge anything until I reach a minimum threshold (TBD). Thoughts?

you should join our discord! we are planning to use PongoOS, our toy kernel, in EL2, and use it to virtualize a GIC to boot UEFI (which will run in EL1). @never_released

this should simplify things quite a bit..

Sounds interesting, though is it worth the extra latency of adding a virtualized shim for interrupts? I mean, I've written custom interrupt controllers for Linux...