2 files changed, 17 insertions, 1 deletions
diff --git a/bsps/aarch64/xilinx-versal/start/bspstart.c b/bsps/aarch64/xilinx-versal/start/bspstart.c
index 2f0048ddf3..89b06a0ff4 100644
--- a/bsps/aarch64/xilinx-versal/start/bspstart.c
+++ b/bsps/aarch64/xilinx-versal/start/bspstart.c
@@ -38,6 +38,18 @@
 #include <bsp/irq-generic.h>
 #include <bsp/linker-symbols.h>
 
+#include <rtems/score/basedefs.h>
+
+RTEMS_WEAK uint32_t versal_clock_i2c0(void)
+{
+  return VERSAL_CLOCK_I2C0;
+}
+
+RTEMS_WEAK uint32_t versal_clock_i2c1(void)
+{
+  return VERSAL_CLOCK_I2C1;
+}
+
 void bsp_start( void )
 {
   bsp_interrupt_initialize();
diff --git a/bsps/aarch64/xilinx-versal/start/bspstartmmu.c b/bsps/aarch64/xilinx-versal/start/bspstartmmu.c
index b2da3bc60d..ee87890293 100644
--- a/bsps/aarch64/xilinx-versal/start/bspstartmmu.c
+++ b/bsps/aarch64/xilinx-versal/start/bspstartmmu.c
@@ -44,7 +44,11 @@
 BSP_START_DATA_SECTION static const aarch64_mmu_config_entry
 versal_mmu_config_table[] = {
   AARCH64_MMU_DEFAULT_SECTIONS,
-  {  /* APU GIC */
+  {  /* Devices */
+    .begin = 0xf1000000U,
+    .end = 0xf2000000U,
+    .flags = AARCH64_MMU_DEVICE
+  }, {  /* APU GIC */
     .begin = 0xf9000000U,
     .end = 0xf90c0000U,
     .flags = AARCH64_MMU_DEVICE