Re: [QUESTION] Minimal Xen Configuration

[Nicola Vetrini <nicola.vetrini@bugseng.com>]

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