Add basic tools

2026-10-18 18:27:34 +02:00
parent b567d8539c
commit b6ffd2c8c6
12 changed files with 638 additions and 0 deletions
@@ -5,6 +5,13 @@ option(
    description: 'Only install headers',
 )

+option(
+    'tools_only',
+    type: 'boolean',
+    value: false,
+    description: 'Only build userspace tools',
+)
+
 option(
    'config_path',
    type: 'string',