A build of StdLib fails for what seems to be missing aarch64/machine headers under StdLib. I've not found any version where aarch64/machine exists. And yes, I do have a crazy urge to write UEFI applications. Has anyone tried building StdLib or knows that it's not going to work and there's no plan for these headers? I'm sure it's not the highest priority so I'm ok with 'not known', 'no plan' or 'known not to work'.

I'm just trying to catch the case that StdLib is known to build for aarch64 and I'm doing it wrong. 

Best regards

Bill