Summary of Month

Highlights

• An early prototype of the kernel common code for virtio-msg was completed (described here) and cross tested by several people

• The rust code for the early prototype was updated to handle Rust v4.19 as the ABI to the hypervisor had changed

• The hvac-demo repository was created and automates building and running the early kernel prototype and the QEMU virtio-msg-proxy work done by AMD Xilinx

Issues/Changes

• Several people were out for a good part of September for conferences and vacation.

• The project Jira still needs to be filled out.

WIP Presentations

(none this month)

However see the hvac-demo v0.3 readme for a good summary of status

Meeting notes Sept 12

• New attendees in the invite list

  • Sangshetty Patil (AMD San Jose, monitoring)

  • Sean Keys (Android Auto all things Virtulization)

• Bill has started a Demo and CI project for all the individual demos

  • https://github.com/wmamills/hvac-demo

  • Viresh’s kernel demo is there and works with 100% automation

  • The project builds everything and can run it

  • Bill is in the process of adding Edgar’s demos from here

  • Happy to rename the project if we want to broaden the scope to all of virtio-msg but need owners for the write up of each demo to be added. (Like Viresh and Edgar did).

  • Plan to enable this as CI

• Bertrand published his work in Xen for FFA indirect message support

  • Needs kernel work to match but right now no one is available from Linaro

  • Arm is working on kernel side FFA v1.2 target kernel v6.12

  • Working to bring Xen up to FFA v1.2

• We have created the mailing list virtio-msg@lists.linaro.org

  • subscribe here

  • Bill added everyone in the meeting invite but not all may have been successful.

  • email me directly bill.mills@linaro.org if you are having issues

• Updates from Edgar

  • Xen mediated virtio-proxy?

    • proxy is in xen hypervisor (not public (yet))

    • qemu is doing foreign memory maps and xen events for notification

    • Trying to do something that works with current kernels

  • What is this message-queue thing? It is Qualcomm Gunyah hypervisor specific message passing

• Updates from Lei?

  • Getting ready to take Google’s Trusty Virtio-msg VSOCK drop

  • Using Viresh’s base

• Armelle’s updates

  • Trusty drop

    • will be QEMU based drop

    • Will be switching to virtio-msg / FFA

    • The Rust dependecies were a struggle to integrate into TEE environment

  • microDroid VM Update

    • Linux frontend and backend w/ virtio-msg-ffa VM to VM

    • Backend is microDroid w/ RustVMM devices

    • CrossVM

      • Google’s RustVMM based VMM

    • End goal is to have VM to VM

  • What about header files for the messages

    • Desire to dual license the Linux header file at least to start

• Edgar

  • Spec updates: disable queues, and others.

  • Need to be able to shutdown and bring back up

  • Cleanup & restart after abortive shutdown of either side

  • Graceful shutdown initiated from the device (like eject button on CD)

  • Should we be giving a heads-up to the upstream virtio spec owners?

• Alex: Viresh has sent a clean-up set of patches defining transport level better

  • https://github.com/oasis-tcs/virtio-spec/issues/201

  • This is in prep to add a new transport (virtio-msg)

Actions:

Meeting notes Sept 26

No meeting today due to travel of multiple participants.