Nice to have, there is not really that much that needs to be done besides mainly converting calling conventions and some minor stuff. The assembly stuff in x64.S can be re-used, just need some macros to for the calling conventions (e.g. rsi in place of rcx, rdi in place of rdx, etc.). Obviously some intrinsics won't be available there, but those can be easily defined with GCC inline assembly, most of the painful ones are already there, just need stuff like __writecr3 etc, we should probably just ditch Linux defined ones and re-use the names not to confuse each other.
Nice to have, there is not really that much that needs to be done besides mainly converting calling conventions and some minor stuff. The assembly stuff in x64.S can be re-used, just need some macros to for the calling conventions (e.g.
rsi
in place ofrcx
,rdi
in place ofrdx
, etc.). Obviously some intrinsics won't be available there, but those can be easily defined with GCC inline assembly, most of the painful ones are already there, just need stuff like__writecr3
etc, we should probably just ditch Linux defined ones and re-use the names not to confuse each other.