From 4e61e22c3da59b259741e57298725330791aed3e Mon Sep 17 00:00:00 2001
From: Amlal El Mahrouss <amlal@nekernel.org>
Date: Mon, 21 Jul 2025 08:51:41 +0100
Subject: feat: NeKernel Semaphore API.

includes:

	- New semaphore API for the kernel, we also make use of the HardwareTimer class here.
	- Defined header only for now.
	- New HAL HW Timer API in AMD64.

Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
---
 tooling/mk_htman.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tooling')

diff --git a/tooling/mk_htman.py b/tooling/mk_htman.py
index 8298559b..5488d478 100755
--- a/tooling/mk_htman.py
+++ b/tooling/mk_htman.py
@@ -5,5 +5,5 @@ import sys, os
 
 if __name__ == "__main__":
     if len(sys.argv) != 2:
-        print("Usage: manual.py <manual_path>")
+        print("INFO: manual.py <manual_path>")
         sys.exit(os.EX_CONFIG)
-- 
cgit v1.2.3