1 files changed, 12 insertions, 0 deletions
diff --git a/libdde_linux26/lib/src/arch/l4/hw-helpers.c b/libdde_linux26/lib/src/arch/l4/hw-helpers.c
new file mode 100644
index 00000000..555406c9
--- /dev/null
+++ b/libdde_linux26/lib/src/arch/l4/hw-helpers.c
@@ -0,0 +1,12 @@
+#include "local.h"
+
+#include <linux/kexec.h>
+
+note_buf_t *crash_notes = NULL;
+
+void touch_nmi_watchdog(void)
+{
+	WARN_UNIMPL;
+}
+
+unsigned long pci_mem_start = 0xABCDABCD;