~/talk

Interfacing Rust with Xen

Talkat Xen Project Summit 2024 · on Tuesday, 2024-06-04· at 15:40· Liberdade I· [rust]
links:none on file
slides:none on file

Proof-of-concept Rust library issues raw Xen hypercalls (implemented the XEN HYPERCALL: console read case) and runs in both hosted and freestanding environments by splitting into no_std and std parts. A small CLI called XR exercises the flow; a generator in a GitLab repo converts a simple TOML spec into Rust structs and C headers (primitive and pointer types work; unions/complex types are WIP). Goal is a single Rust library replacing C dynamic+static layers with generated, mostly-safe FFI.

AI-written summary · about

  1. 0:00Introduction to Rust and Xen
  2. 1:07Why Rust for low-level work
  3. 3:13Goals for Rust-Xen bindings
  4. 5:23Current Xen tooling limitations
  5. 6:06Proof of concept design
  6. 8:13XR command line tool demo
  7. 9:18Hypercall struct compatibility
  8. 11:30Automating bindings with spec
  9. 14:42Future plans and upstreaming
  10. 15:46Q&A on library merging
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.