diff --git a/repos/base-sel4/src/core/platform.cc b/repos/base-sel4/src/core/platform.cc
index c79cfd1e2..1d9a07498 100644
--- a/repos/base-sel4/src/core/platform.cc
+++ b/repos/base-sel4/src/core/platform.cc
@@ -386,7 +386,7 @@ void Platform::_init_rom_modules()
 		addr_t const boot_info_extra = boot_info_page + 4096;
 
 		seL4_BootInfoHeader const * element   = reinterpret_cast<seL4_BootInfoHeader *>(boot_info_extra);
-		seL4_BootInfoHeader const * const last = reinterpret_cast<seL4_BootInfoHeader const * const>(boot_info_extra + bi.extraLen);
+		seL4_BootInfoHeader const * const last = reinterpret_cast<seL4_BootInfoHeader const *>(boot_info_extra + bi.extraLen);
 
 		for (seL4_BootInfoHeader const *next = nullptr;
 		     (next = reinterpret_cast<seL4_BootInfoHeader const *>(reinterpret_cast<addr_t>(element) + element->len)) &&
diff --git a/repos/base-sel4/src/core/ram_dataspace_support.cc b/repos/base-sel4/src/core/ram_dataspace_support.cc
index 7b7608911..f5ccb4dd4 100644
--- a/repos/base-sel4/src/core/ram_dataspace_support.cc
+++ b/repos/base-sel4/src/core/ram_dataspace_support.cc
@@ -49,7 +49,7 @@ void Ram_dataspace_factory::_clear_ds (Dataspace_component &ds)
 	if (!virt_addr_ptr)
 		ASSERT_NEVER_CALLED;
 
-	addr_t const virt_addr = reinterpret_cast<addr_t const>(virt_addr_ptr);
+	addr_t const virt_addr = reinterpret_cast<addr_t>(virt_addr_ptr);
 
 	/* map each page of dataspace one at a time and clear it */
 	for (addr_t offset = 0; offset < page_rounded_size; offset += get_page_size())