[armemu][display] add driver for the display controller
diff --git a/platform/armemu/platform_p.h b/platform/armemu/platform_p.h
index 5a32f56..28f7210 100644
--- a/platform/armemu/platform_p.h
+++ b/platform/armemu/platform_p.h
@@ -26,6 +26,7 @@
 void platform_init_interrupts(void);
 void platform_init_timer(void);
 void platform_init_blkdev(void);
+void platform_init_display(void);
 
 #endif