~/talk

Static Partitioning with Xen, LinuxRT, & Zephyr: A Concrete End-to-end Example

slides:none on file

Boots a Xen-based static-partition system on a Xilinx ZCU102 (QEMU used for demo) with three domains: a minimal Linux dom0 (optional), a LinuxRT VM (2 vCPUs, 2 GB) and a 128 MB Zephyr VM, starting all in parallel. Uses partial DTBs for direct device assignment (Ethernet to LinuxRT, TTC timer to Zephyr) and a Loper spec to auto-generate them; uses Xen dom0less, cache coloring (16 colors: Zen 1, dom0 5, Zephyr 1, remainder to LinuxRT) and shared-memory + event channels where Zephyr writes timestamps to SRAM and LinuxRT receives notifications and prints them; PV network interfaces are hot-plugged into guests with xen network attach.

AI-written summary · about

  1. 0:00Start
  2. 0:23Why Static Partitioning Is Useful
  3. 3:37Other Features That Are Critical for Static Partitioning
  4. 4:34Configure the Environment with Three Domains
  5. 5:43Image Builder
  6. 8:09Compiling Zen
  7. 9:06About Linux
  8. 12:54Demo
  9. 14:35Generated Bootscript
  10. 24:06Cache Coloring
  11. 25:33Colors Allocation
  12. 28:05Share Memory Event and Event Channels
  13. 28:29Configuration
  14. 32:47Pv Drivers
~/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.