[realtek-ambz2] Use external FreeRTOS port

2023-05-23 15:14:59 +02:00
parent 620e457eb6
commit c40bdd68af
4 changed files with 20 additions and 8 deletions
--- a/cores/realtek-ambz/base/fixups/cmsis_ipsr.c
+++ b/cores/realtek-ambz/base/fixups/cmsis_ipsr.c
--- a/cores/realtek-ambz2/base/fixups/rtl8710c_freertos_pmu.h
+++ b/cores/realtek-ambz2/base/fixups/rtl8710c_freertos_pmu.h
@@ -0,0 +1,11 @@
+/* Copyright (c) Kuba Szczodrzyński 2023-05-23. */
+
+#include <basic_types.h>
+
+// rtl8710c_freertos_pmu.h needs the u32/u16/u8 integer typedefs,
+// so it relies on the caller (freertos_pmu.c) to provide these,
+// which relies on FreeRTOS.h to include FreeRTOSConfig.h,
+// which relies on diag.h included to get printf() functions,
+// which just happens to include basic_types.h as well,
+// and that's what makes the whole thing even compile
+#include_next "rtl8710c_freertos_pmu.h"