X-Git-Url: https://rtime.felk.cvut.cz/gitweb/jailhouse.git/blobdiff_plain/707328a0730cdff5dacb265a9b68e330c451823f..HEAD:/TODO.md

diff --git a/TODO.md b/TODO.md
index b42cf22..ce9a564 100644
--- a/TODO.md
+++ b/TODO.md
@@ -10,10 +10,10 @@ x86 support
   - 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
@@ -22,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)
@@ -74,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