objective: add read tools

2026-07-26 02:21:22 +09:00
parent 2200f60b94
commit 18b5cead7a
9 changed files with 352 additions and 2 deletions
@@ -8,6 +8,7 @@ import "./default.dcdl" // {
        memory = { enabled = true; staging = true; };
        web = { enabled = false; };
        workers = { enabled = false; };
+        objective = { enabled = false; };
        ticket = { enabled = false; thread = false; };
    };
 }