Added start/end/size attributes for devices in caps.py instead of

resource.c
2026-01-12 02:43:15 +01:00 · 2009-11-26 16:17:55 +05:30
parent 41a64fcd23
commit 0707376a54
4 changed files with 30 additions and 25 deletions
--- a/scripts/kernel/generate_kernel_cinfo.py
+++ b/scripts/kernel/generate_kernel_cinfo.py
@@ -29,6 +29,7 @@ cinfo_file_start = \
 #include <l4/generic/resource.h>
 #include <l4/generic/capability.h>
 #include <l4/generic/cap-types.h>
+#include INC_PLAT(platform.h)

 %s