From aeab27f479344aa8d3de9e2dac3599dd0b2230f8 Mon Sep 17 00:00:00 2001
From: Nils Bosbach <bosbach@ice.rwth-aachen.de>
Date: Tue, 10 Dec 2024 16:02:32 +0100
Subject: [PATCH] Add kind to avp64::system

Signed-off-by: Nils Bosbach <bosbach@ice.rwth-aachen.de>
---
 src/avp64/system.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/avp64/system.h b/src/avp64/system.h
index 2f41c00..7ecfa3b 100644
--- a/src/avp64/system.h
+++ b/src/avp64/system.h
@@ -110,6 +110,7 @@ class system : public vcml::system
     virtual void end_of_elaboration() override;
 
     const char* version() const override;
+    virtual const char* kind() const override { return "avp64::system"; }
 
 private:
     vcml::generic::clock m_clock_cpu;