diff options
Diffstat (limited to 'platform/fpga')
| -rw-r--r-- | platform/fpga/ariane/platform.c | 2 | ||||
| -rw-r--r-- | platform/fpga/openpiton/platform.c | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/platform/fpga/ariane/platform.c b/platform/fpga/ariane/platform.c index 9c13529..9537b64 100644 --- a/platform/fpga/ariane/platform.c +++ b/platform/fpga/ariane/platform.c @@ -11,7 +11,7 @@ #include <sbi/sbi_const.h> #include <sbi/sbi_hart.h> #include <sbi/sbi_platform.h> -#include <sbi_utils/fdt/fdt_helper.h> +#include <sbi_utils/fdt/fdt_fixup.h> #include <sbi_utils/irqchip/plic.h> #include <sbi_utils/serial/uart8250.h> #include <sbi_utils/sys/clint.h> diff --git a/platform/fpga/openpiton/platform.c b/platform/fpga/openpiton/platform.c index e2ee671..96c2d57 100644 --- a/platform/fpga/openpiton/platform.c +++ b/platform/fpga/openpiton/platform.c @@ -11,6 +11,7 @@ #include <sbi/sbi_hart.h> #include <sbi/sbi_platform.h> #include <sbi_utils/fdt/fdt_helper.h> +#include <sbi_utils/fdt/fdt_fixup.h> #include <sbi_utils/irqchip/plic.h> #include <sbi_utils/serial/uart8250.h> #include <sbi_utils/sys/clint.h> |