From f754fffdac717d715bd08d614eecf25267afbb24 Mon Sep 17 00:00:00 2001
From: Olof Kindgren <olof.kindgren@gmail.com>
Date: Mon, 29 Jul 2019 08:40:15 +0200
Subject: [PATCH] Make default target runnable

---
 serv.core | 1 +
 1 file changed, 1 insertion(+)

diff --git a/serv.core b/serv.core
index 88d6d95..de9b5a9 100644
--- a/serv.core
+++ b/serv.core
@@ -25,6 +25,7 @@ targets:
   default:
     filesets : [core]
     parameters : [RISCV_FORMAL, SERV_CLEAR_RAM]
+    toplevel : ["is_toplevel? (serv_top)"]
 
   lint:
     default_tool : verilator