hardware_gen: include linker.h in generated header

this is needed for the BOOT_RODATA attribute
2019-02-08 14:53:07 +11:00
parent 89dd2603b6
commit cbe6e4c651
1 changed files with 1 additions and 0 deletions
--- a/tools/hardware_gen.py
+++ b/tools/hardware_gen.py
@@ -725,6 +725,7 @@ HEADER_TEMPLATE = """

 #ifndef __PLAT_DEVICES_GEN_H
 #define __PLAT_DEVICES_GEN_H
+#include <linker.h>
 #ifndef KDEV_PPTR
 #include <mode/hardware.h>
 #endif