Dear Xen Community, I hope this message finds you well.
I have heard that there exists a minimal Xen configuration optimized for safety-critical products, particularly in automotive applications, with the code size reduced to approximately 50k SLOC. Could anyone provide guidance or point me to relevant resources regarding this minimal Xen configuration? Any insights or references would be greatly appreciated. Thank you in advance for your assistance. Best regards, Gihwan Kwon
