On 2025-03-28 07:43, Kwon, Gihwan wrote:
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
Hello,
I am part of the team that provides static analysis for Xen, mainly
towards the objective to make Xen compliant with MISRA C guidelines. As
part of that effort, a minimal Xen configuration has been defined (for
Arm and x86_64) at [1], which is the one currently analyzed for static
analysis for each commit [2]. It starts from the default configuration
for the architecture (i.e., make defconfig) and then turns on or off
various Kconfig options, as specified by EXTRA_XEN_CONFIG.
@Stefano Stabellini (Cc'ed) is the main driving force behind the Xen
certification effort for automotive, therefore he's probably the best
person to approach to get more information on this matter.
Hope this was helpful as a starting point.
Best Regards,
Nicola Vetrini
[1]
https://gitlab.com/xen-project/xen/-/blob/staging/automation/gitlab-ci/analyze.yaml?ref_type=heads
[2] https://gitlab.com/xen-project/hardware/xen/-/pipelines
--
Nicola Vetrini, B.Sc.
Software Engineer
BUGSENG (https://bugseng.com)
LinkedIn: https://www.linkedin.com/in/nicola-vetrini-a42471253
