X-Git-Url: https://rtime.felk.cvut.cz/gitweb/jailhouse.git/blobdiff_plain/4e0ea74420900c7a66d265117b09fddbc3aaa754..f053c948f5b6fe7b9ec5cf6533e177fd42113ba3:/TODO.md

diff --git a/TODO.md b/TODO.md
index 9f039ef..ce9a564 100644
--- a/TODO.md
+++ b/TODO.md
@@ -7,14 +7,13 @@ x86 support
     - allow per cell (managing inter-core/inter-cell impacts)
   - NMI control/status port - moderation or emulation required?
   - whitelist-based MSR access
-  - add support for Intel Cache Allocation Technology (cache quality
-    enforcement)
+  - 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
@@ -23,6 +22,9 @@ ARM support
 Configuration
  - review of format, rework of textual representation
  - platform device assignment
+ - refactor config generator
+    - better internal structure, also to prepare non-x86 support
+    - move into Python module, for reuse by multiple helper scripts
  - enhance config generator
     - confine the created root cell config to the essentially required
       resources (e.g. PCI BARs)
@@ -75,13 +77,3 @@ Monitoring
   - cell software watchdog via comm region messages  
     -> time out pending comm region messages and kill failing cells
        (includes timeouts of unanswered shutdown requests)
-
-Misc
-  - generic sub-page access filtering
-    - use bitmap, likely with byte granularity, to filter access on specific
-      registers in a MMIO page
-  - generic and faster MMIO dispatching
-    - use binary search on an per-cell array of (start, size, handler, opaque)
-      entries
-    - should be able to deal with both existing devices as well as sub-page
-      filtering