From f9c06846b04d19ebd94868c7ebd2506663af8e96 Mon Sep 17 00:00:00 2001
From: Paolo Pisati <p.pisati@gmail.com>
Date: Tue, 10 Jul 2018 19:36:54 +0200
Subject: [PATCH] v68-banked: config.h: devices.c invoke devide_init(), add
 CONFIG_IDE to fix build

Signed-off-by: Paolo Pisati <p.pisati@gmail.com>
---
 Kernel/platform-v68-banked/config.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Kernel/platform-v68-banked/config.h b/Kernel/platform-v68-banked/config.h
index f5b4a603..c5b1a554 100644
--- a/Kernel/platform-v68-banked/config.h
+++ b/Kernel/platform-v68-banked/config.h
@@ -47,3 +47,4 @@
 
 #define MAX_BLKDEV 4
 
+#define CONFIG_IDE
-- 
2.34.1