diff --git a/repos/base-nova/src/lib/base/stack_area_addr.cc b/repos/base-nova/src/lib/base/stack_area_addr.cc
deleted file mode 100644
index 0ac9033d8..000000000
--- a/repos/base-nova/src/lib/base/stack_area_addr.cc
+++ /dev/null
@@ -1,17 +0,0 @@
-/*
- * \brief  Component-local stack area base address for NOVA
- * \author Stefan Kalkowski
- * \date   2017-06-02
- */
-
-/*
- * Copyright (C) 2017 Genode Labs GmbH
- *
- * This file is part of the Genode OS framework, which is distributed
- * under the terms of the GNU Affero General Public License version 3.
- */
-
-/* base-internal includes */
-#include <base/internal/stack_area.h>
-
-Genode::addr_t Genode::stack_area_virtual_base() { return 0xa0000000UL; }