grix 0.0.36

grix 0.0.36, built from 4f47730.

Since v0.0.35:

• A CPU-time timer set to a time already passed fires in timer_settime (0.0.36)
• One CPU keeps the deadlines
• A kernel lock that skips a waiter the host descheduled
• Flush only the pages that changed, on the CPUs that may hold them
• Skip TLB flushes that change nothing
• Counters for more CPUs, and a benchmark

Each archive has grix, grix-vmm and the grix kernel (grix finds it beside itself),
and the Python package with its native module (PYTHONPATH=python, Python 3.9+).
macOS: arm64, macOS 15+; if it came through a browser, xattr -d com.apple.quarantine grix grix-vmm.
Linux: arm64, static; grix-vmm needs /dev/kvm (otherwise grix uses QEMU).