driver: fix unsigned long overflow in leave_hypervisor

[jailhouse.git] / TODO.md

diff --git a/TODO.md b/TODO.md
index acf00bea4ea38f5dcf529b603a9c741821c7c034..b5af2d12e4672b5b531f223fdbbf6a4d3f0557fa 100644 (file)
--- a/TODO.md
+++ b/TODO.md
@@ -6,12 +6,14 @@ x86 support
     - block
     - allow per cell (managing inter-core/inter-cell impacts)
   - NMI control/status port - moderation or emulation required?
+  - whitelist-based MSR access
+  - add support for CDP (code/data L3 partitioning)
 
 ARM support
-  - v7 (32-bit) [WIP]
+  - v7 (32-bit)
     - System MMU support
     - improve support for platform variations (device tree?)
-  - v8 (64-bit)
+  - v8 (64-bit) [WIP]
   - support for big endian
     - infrastructure to support BE architectures (byte-swapping services)
     - usage of that infrastructure in generic subsystems