~/talk

Preparing RISC-V Linux for RVA23

links:none on file
slides:none on file

Proposal compiles the kernel for the RVA23 profile so C code can use performance extensions (bitmanip, vector, hypervisor, CFI) instead of relegating them to handwritten asm and runtime checks. A new RVA23 defconfig makes many extensions compile-time enabled, letting GCC-15 generate better code (checksum example where compiler output outperforms handwritten asm). Patches remove runtime isa string checks and alternatives, improve performance and developer experience, but require safe early-boot handling, ISA-string/profile handling, and warns about crashing on non‑compliant hardware.

AI-written summary · about

  1. 0:00Introduction to RVA23
  2. 1:23Why RVA23 standardization
  3. 2:31RVA23 features and ISA string
  4. 4:20Three categories of extensions
  5. 7:11Runtime vs compile-time discovery
  6. 9:21Handling unsupported hardware
  7. 13:15Compiler awareness of extensions
  8. 15:25Booting with enabled extensions
  9. 18:59Shortening ISA strings
  10. 21:55RVA23 devconfig proposal
  11. 23:22Q&A and feedback
~/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.