I have virtually zero x86 assembly experience, but I was wondering how hard it would be to modify the DriversCompiler to add the ability to produce bootable UEFI apps and runtime services (which are just special DLLs). Seems like it should be easier than what has already been done since the UEFI boot manager can set the processor to 32 / 64-bit long mode and load runtime services before passing control to a kernel which then would not require an assembly boot stub to switch the processor mode.
I am interested in seeing how far I can get by having drivers as EFI runtime services instead of as part of the kernel and it'd be nice if I could leverage existing C# knowledge for this little experiment.
Firstly, extremely sorry that your discussion wasn't published months ago. An automatic update to the site switched on a moderation feature that I had no idea about so there was a "hidden" list of discussions I wasn't aware of.
Once again, very sorry your discussion has gone unnoticed for so long and I hope you might still be interested in working on this. UEFI support would be very nice to have!