From eea52e18b3b40de7cd2961938602d21cda383e20 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Kr=C3=B6ning?=
 <martin.kroening@eonerc.rwth-aachen.de>
Date: Fri, 17 Jan 2025 21:44:56 +0100
Subject: [PATCH] feat: add version note

---
 src/lib.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/lib.rs b/src/lib.rs
index 768f388bdf..36bb60ad83 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -84,6 +84,8 @@ mod synch;
 pub mod syscalls;
 pub mod time;
 
+hermit_entry::define_abi_tag!();
+
 #[cfg(target_os = "none")]
 hermit_entry::define_entry_version!();