#include <platforms/4xx/walnut.h>
#endif
+#if defined(CONFIG_XILINX_ML300)
+#include <platforms/4xx/xilinx_ml300.h>
+#endif
+
#ifndef __ASSEMBLY__
#ifdef CONFIG_40x
#include <platforms/4xx/ebony.h>
#endif
+#if defined(CONFIG_LUAN)
+#include <platforms/4xx/luan.h>
+#endif
+
#if defined(CONFIG_OCOTEA)
#include <platforms/4xx/ocotea.h>
#endif