RE: Xen FuSa Upstream meeting

[Stefano Stabellini <stefano.stabellini@xxxxxxx>]

Hi Matt,

It looks like your configuration is very similar to the one we are
targeting for automotive and industrial with minor differences (e.g.
scheduler control). We are well aligned.

Cheers,

Stefano


On Tue, 15 Jul 2025, Weber (US), Matthew L wrote:
> Looping the list in  @xen-devel@xxxxxxxxxxxxxxxxxxxx
> 
>  
> 
> From: Weber (US), Matthew L
> Sent: Tuesday, July 15, 2025 10:16 AM
> To: Halder, Ayan Kumar <ayan.kumar.halder@xxxxxxx>; Stabellini, Stefano 
> <stefano.stabellini@xxxxxxx>; Orzel, Michal <Michal.Orzel@xxxxxxx>;
> Andryuk, Jason <Jason.Andryuk@xxxxxxx>; Garcia Vallejo, Alejandro 
> <Alejandro.GarciaVallejo@xxxxxxx>
> Subject: RE: Xen FuSa Upstream meeting
> 
>  
> 
> Thanks Ayan,
> 
>  
> 
> I think our DO-178 ARINC cert use case is very simple with a dom0less 
> configuration that doesn’t need most/any traditional toolstack
> provided functions.  We need a thin layer on the hypercall interface (dom 
> health management stuff, scheduler control) and some
> pre-population of data in the device trees for domU(s) that expresses static 
> attributes of the domain which usually would have come through
> xenstore.  Otherwise everything else is static shared memory.
> 
>  
> 
> Regards,
> 
> Matt
> 
>  
> 
> From: Halder, Ayan Kumar <ayan.kumar.halder@xxxxxxx>
> Sent: Tuesday, July 15, 2025 2:49 AM
> To: Weber (US), Matthew L <matthew.l.weber3@xxxxxxxxxx>; Stabellini, Stefano 
> <stefano.stabellini@xxxxxxx>; Orzel, Michal
> <Michal.Orzel@xxxxxxx>; Andryuk, Jason <Jason.Andryuk@xxxxxxx>; Garcia 
> Vallejo, Alejandro <Alejandro.GarciaVallejo@xxxxxxx>
> Subject: [EXTERNAL] Re: Xen FuSa Upstream meeting
> 
>  
> 
> EXT email: be mindful of links/attachments.
> 
>  
> 
> [AMD Official Use Only - AMD Internal Distribution Only]
> 
>  
> 
> Hi Matthew/Stefano,
> 
>  
> 
> Apologies for missing this.
> 
>  
> 
> Michal has summed up the issue as follows :-
> 
>  
> 
> Toolstack is out of scope for safety certification. This is mostly because 
> large part of the toolstack exist to create/destroy or handle in
> general runtime domains. That said there are services like xenstore that may 
> be required e.g. for PV drivers (Xenbus and Xenstore are
> needed here). With the introduction of split domain capabilities e.g. 
> separate control, hardware, xenstore domains it may be challenging 
> at first to boot hardware or xenstore domain with toolstack. This is because 
> the toolstack has a lot of cross dependencies with libraries
> relying on e.g. control capability. It's not really possible today to carve 
> out unneeded stuff from the toolstack to only provide e.g.
> Xenstored.
> 
>  
> 
> We need to have a discussion to understand what approach we should take.
> 
>  
> 
> Michal, Jason, Stefano, Alejandro should be present.
> 
> Do we need Julien and any other maintainer (Jan) ?
> 
>  
> 
> I will be away next week.
> 
> Stefano can bring up this topic and record the discussion.
> 
>  
> 
> Kind regards,
> 
> Ayan
> 
>  
> 
> From: Weber (US), Matthew L <matthew.l.weber3@xxxxxxxxxx>
> Date: Tuesday, 15 July 2025 at 02:15
> To: Halder, Ayan Kumar <ayan.kumar.halder@xxxxxxx>
> Subject: RE: Xen FuSa Upstream meeting
> 
> Do you take agenda topics for this call?  I wondered about getting feedback 
> on these two topics.
> 
>  
> 
> https://old-list-archives.xenproject.org/archives/html/xen-devel/2025-07/msg00531.html
> 
>  
> 
> https://old-list-archives.xenproject.org/archives/html/xen-devel/2025-07/msg00564.html
> 
>  
> 
> Best Regards,
> 
> —
> 
> Matthew L. Weber
> 
> Associate Technical Fellow / ELISA Aerospace WG Chair
> 
> LinkedIn | GitHub | GitLab | LXF Open Profile
> 
>  
> 
> [IMAGE]
> 
>  
> 
>  
> 
>  
> 
> -----Original Appointment-----
> From: Halder, Ayan Kumar <ayan.kumar.halder@xxxxxxx>
> Sent: Wednesday, June 11, 2025 7:15 AM
> To: Halder, Ayan Kumar; Weber (US), Matthew L; artem_mygaiev@xxxxxxxx; 
> francesco.rossi@xxxxxxxxxxxxx; Aniket Saha; Mukhin, Denis (D.);
> NETCHITALIOUK, ANDREI (A.); Kate Stewart; David Ward; Rafał Misiura; 
> marco.demi@xxxxxxxxxxxxx; Bertrand Marquis;
> hisao.munakata.vt@xxxxxxxxxxx; Kim, Haesun; Ahn, Sookyung; 
> roberto.bagnara@xxxxxxxxxxx; Paweł Kaleta; stefano.dellosa@xxxxxxxxx;
> Ragiadakou, Xenia; Hildebrand, Stewart; Orzel, Michal; 
> fusa-sig@xxxxxxxxxxxxxxxxxxxx
> Cc: Luca Fancellu; francesco.brancati@xxxxxxxxxxxxx; Alex Agizim; Rahul 
> Singh; Robert Heinen; Stabellini, Stefano; Chan King Choy,
> Nathalie; Lira, Victor M; Iglesias, Edgar; Andryuk, Jason; Miccio, Luca; 
> Rafał Tomaszewski; Andrei Buzdugan; Eugene Nebrat; Piotr Serwa
> Subject: FW: Xen FuSa Upstream meeting
> When: Tuesday, July 22, 2025 3:00 PM-4:00 PM (UTC+00:00) Dublin, Edinburgh, 
> Lisbon, London.
> Where: 
> https://amd.zoom.us/j/92115684076?pwd=sKEw5EfYN6KcYhz15mbftYqAyaRm8R.1&from=addon
> 
>  
> 
> EXT email: be mindful of links/attachments.
> 
>  
> 
>  
> 
> From: ayan.kumar.halder@xxxxxxx
> When: 15:00 - 16:00 21 January 2025
> Subject: Xen FuSa Upstream meeting
> Location: 
> https://amd.zoom.us/j/92115684076?pwd=sKEw5EfYN6KcYhz15mbftYqAyaRm8R.1&from=addon
> 
>  
> 
>  
> 
> Hi ,
> 
>  
> 
> This is our regular meeting series.
> 
>  
> 
> Ayan
> 
>  
> 
>  
> 
> 
> 
> 
> 
> 
> 
> 
> 
> 
> 
> 
> 
> 
> 
> 
>                                                          Image removed by 
> sender.
> 
> 
> 
> 
> 
> 
> 
> 
> 
> 
>                                                                  Hi there,
> 
> 
> 
> 
> 
>                                       Ayan Kumar Halder is inviting you to a 
> scheduled Zoom meeting.
> 
> 
> 
> 
> 
>                                                              Join Zoom Meeting
> 
> 
> 
> 
> 
>                                                               One tap mobile:
> 
> 
> 
>                        US: +19292056099,,92115684076#,,,,*1507305560# or 
> +16699006833,,92115684076#,,,,*1507305560#
> 
> 
> 
> 
> 
>                                                                Meeting URL:
> 
> 
> 
>                              
> https://amd.zoom.us/j/92115684076?pwd=sKEw5EfYN6KcYhz15mbftYqAyaRm8R.1&from=addon
> 
> 
> 
> 
> 
>                                                                 Meeting ID:
> 
> 
> 
>                                                                921 1568 4076
> 
> 
> 
> 
> 
>                                                                  Passcode:
> 
> 
> 
>                                                                 yV39aa%pi0
> 
> 
> 
> 
> 
>                                                              Join by Telephone
> 
> 
> 
> 
> 
>                                      For higher quality, dial a number based 
> on your current location.
> 
> 
> 
> 
> 
>                                                                    Dial:
> 
> 
> 
>                                                        +1 929 205 6099 US 
> (New York)
>                                                        +1 669 900 6833 US 
> (San Jose)
>                                                         +1 720 928 9299 US 
> (Denver)
>                                                          833 928 4610 US 
> Toll-free
>                                                          877 853 5257 US 
> Toll-free
>                                                          888 475 4499 US 
> Toll-free
>                                                          833 548 0276 US 
> Toll-free
>                                                          833 548 0282 US 
> Toll-free
>                                                          833 928 4608 US 
> Toll-free
>                                                          833 928 4609 US 
> Toll-free
>                                                           +91 406 480 2722 
> India
>                                                           +91 446 480 2722 
> India
>                                                           +91 806 480 2722 
> India
>                                                           +91 80 71 279 440 
> India
>                                                           +91 116 480 2722 
> India
>                                                           +91 225 097 2744 
> India
>                                                           +91 225 097 2745 
> India
>                                                           +91 226 480 2722 
> India
>                                                           +91 22 71 279 525 
> India
>                                                      000 800 919 1676 India 
> Toll-free
>                                                      000 800 001 4002 India 
> Toll-free
>                                                      000 800 050 5050 India 
> Toll-free
>                                                      000 800 050 2340 India 
> Toll-free
>                                                      000 800 050 2400 India 
> Toll-free
>                                                           +353 6 163 9031 
> Ireland
>                                                           +353 1 536 9320 
> Ireland
>                                                           +353 1 653 3895 
> Ireland
>                                                       1800 719 875 Ireland 
> Toll-free
>                                                       1800 901 561 Ireland 
> Toll-free
>                                                       1800 943 965 Ireland 
> Toll-free
>                                                       1800 949 238 Ireland 
> Toll-free
>                                                           +65 3158 7288 
> Singapore
>                                                           +65 3165 1065 
> Singapore
>                                                      800 852 6054 Singapore 
> Toll-free
>                                                      1800 407 5602 Singapore 
> Toll-free
>                                                      800 101 3814 Singapore 
> Toll-free
> 
> 
> 
> 
> 
>                                                                 Meeting ID:
> 
> 
> 
>                                                                921 1568 4076
> 
> 
> 
> 
> 
>                                                                  Passcode:
> 
> 
> 
>                                                                 1507305560
> 
> 
> 
> 
> 
>                                                            International 
> numbers
> 
> 
> 
> 
> 
>                                                     Join from an H.323/SIP 
> room system
> 
> 
> 
> 
> 
>                                                                   H.323:
> 
> 
> 
>                                                          144.195.19.161 (US 
> West)
>                                                          206.247.11.121 (US 
> East)
>                                                       221.122.88.195 
> (Mainland China)
>                                                        115.114.131.7 (India 
> Mumbai)
>                                                       115.114.115.7 (India 
> Hyderabad)
>                                                   159.124.15.191 (Amsterdam 
> Netherlands)
>                                                          159.124.47.249 
> (Germany)
>                                                     159.124.104.213 
> (Australia Sydney)
>                                                    159.124.74.212 (Australia 
> Melbourne)
>                                                       170.114.134.121 (Hong 
> Kong SAR)
>                                                         170.114.180.219 
> (Singapore)
>                                                           64.211.144.160 
> (Brazil)
>                                                      159.124.168.213 (Canada 
> Toronto)
>                                                      159.124.196.25 (Canada 
> Vancouver)
>                                                        170.114.194.163 (Japan 
> Tokyo)
>                                                        147.124.100.25 (Japan 
> Osaka)
> 
> 
> 
> 
> 
>                                                                 Meeting ID:
> 
> 
> 
>                                                                921 1568 4076
> 
> 
> 
> 
> 
>                                                                  Passcode:
> 
> 
> 
>                                                                 1507305560
> 
> 
> 
> 
> 
>                                                                    SIP:
> 
> 
> 
>                                                           
> 92115684076@xxxxxxxxxxx
> 
> 
> 
> 
> 
>                                                                  Passcode:
> 
> 
> 
>                                                                 1507305560
> 
> 
> 
>  
> 
> 
>