diff options
Diffstat (limited to 'src/priv-preface.tex')
| -rw-r--r-- | src/priv-preface.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/priv-preface.tex b/src/priv-preface.tex index a1a0848..6a543b9 100644 --- a/src/priv-preface.tex +++ b/src/priv-preface.tex @@ -14,7 +14,7 @@ modules: \hline \em Machine ISA & \em 1.12 & \em Draft \\ \em Supervisor ISA & \em 1.12 & \em Draft \\ - \em Hypervisor ISA & \em 0.6 & \em Draft \\ + \em Hypervisor ISA & \em 1.0 & \em Frozen \\ \hline \end{tabular} \end{table} |