diff --git a/Makefile b/Makefile
index 8106b0976..79cd91ff3 100644
--- a/Makefile
+++ b/Makefile
@@ -650,7 +650,6 @@ $(eval $(call add_include_file,backends/rtlil/rtlil_backend.h))
 OBJS += kernel/driver.o kernel/register.o kernel/rtlil.o kernel/log.o kernel/calc.o kernel/yosys.o
 OBJS += kernel/binding.o
 OBJS += kernel/cellaigs.o kernel/celledges.o kernel/cost.o kernel/satgen.o kernel/scopeinfo.o kernel/qcsat.o kernel/mem.o kernel/ffmerge.o kernel/ff.o kernel/yw.o kernel/json.o kernel/fmt.o kernel/sexpr.o
-OBJS += kernel/whereami.o
 ifeq ($(ENABLE_FUNC),1)
 OBJS += kernel/drivertools.o kernel/functional.o
 endif
@@ -686,6 +685,8 @@ OBJS += libs/minisat/SimpSolver.o
 OBJS += libs/minisat/Solver.o
 OBJS += libs/minisat/System.o
 
+OBJS += libs/whereami/whereami.o
+
 ifeq ($(ENABLE_ZLIB),1)
 OBJS += libs/fst/fstapi.o
 OBJS += libs/fst/fastlz.o
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index cae8a72c6..ad5f752f9 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -16,12 +16,12 @@
  *  OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
  *
  */
-#include "kernel/whereami.h"
 #include "kernel/yosys.h"
 #include "kernel/sigtools.h"
 #include "kernel/celltypes.h"
 #include "kernel/log.h"
 #include "libs/sha1/sha1.h"
+#include "libs/whereami/whereami.h"
 #include <stdlib.h>
 #include <stdio.h>
 #include <string.h>
diff --git a/kernel/whereami.cc b/libs/whereami/whereami.cc
similarity index 100%
rename from kernel/whereami.cc
rename to libs/whereami/whereami.cc
diff --git a/kernel/whereami.h b/libs/whereami/whereami.h
similarity index 100%
rename from kernel/whereami.h
rename to libs/whereami/whereami.h