diff --git a/repos/base-nova/include/nova/syscall-generic.h b/repos/base-nova/include/nova/syscall-generic.h
index 82a127d75..9f9bc7f72 100644
--- a/repos/base-nova/include/nova/syscall-generic.h
+++ b/repos/base-nova/include/nova/syscall-generic.h
@@ -163,7 +163,7 @@ namespace Nova {
 
 			unsigned long desc_addr = reinterpret_cast<unsigned long>(this) +
 			                          cpu_desc_offset + i * cpu_desc_size;
-			return reinterpret_cast<Cpu_desc const * const>(desc_addr);
+			return reinterpret_cast<Cpu_desc const *>(desc_addr);
 		}
 
 		bool is_cpu_enabled(unsigned i) const {
diff --git a/repos/base-nova/src/core/platform.cc b/repos/base-nova/src/core/platform.cc
index 0783cd1a9..5a9beb7c4 100644
--- a/repos/base-nova/src/core/platform.cc
+++ b/repos/base-nova/src/core/platform.cc
@@ -961,7 +961,7 @@ bool Mapped_mem_allocator::_map_local(addr_t virt_addr, addr_t phys_addr,
                                       unsigned size)
 {
 	/* platform_specific()->core_pd_sel() deadlocks if called from platform constructor */
-	Hip const &hip  = *(Hip const * const)__initial_sp;
+	Hip const &hip  = *(Hip const *)__initial_sp;
 	Genode::addr_t const core_pd_sel = hip.sel_exc;
 
 	map_local(core_pd_sel,