chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a6798c7) | patch
wdt, at: Use vpid mapping everywhere, rather than hardcoded
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 4 Apr 2021 11:53:08 +0000 (12:53 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 4 Apr 2021 18:16:25 +0000 (19:16 +0100)
commit514c56edc7d9144651be64ad8c429cb4fd68aa62
tree600f1095ee079d0e1e57ffe656256f139b58f9e0tree | snapshot
parenta6798c78c42afaf22b79c0a55c3d3b38b300fd89commit | diff
wdt, at: Use vpid mapping everywhere, rather than hardcoded

Races can affect the vpid layout!  This fixes flakiness in the tests.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/prelude.rs diff | blob | history
wdriver/wdriver.rs diff | blob | history
wdriver/wdt-hand.rs diff | blob | history
wdriver/wdt-simple.rs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.