diff options
| author | Amlal El Mahrouss <amlal@nekernel.org> | 2025-07-21 08:51:41 +0100 |
|---|---|---|
| committer | Amlal El Mahrouss <amlal@nekernel.org> | 2025-07-21 09:07:20 +0100 |
| commit | 4e61e22c3da59b259741e57298725330791aed3e (patch) | |
| tree | b81e078defa58d1fcae570fa72b403606ae596b8 /tooling | |
| parent | 1e12163836e649da0d67fc8f17bc9a415554efe4 (diff) | |
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>
Diffstat (limited to 'tooling')
| -rwxr-xr-x | tooling/mk_htman.py | 2 |
1 files changed, 1 insertions, 1 deletions
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) |