dev, kernel, tools, tooling, tex: add mk_app tool, see details.

	- Patch HeFS implementation file, working on a allocation
	  function now.
	- Generated LaTeX specs from source code.
	- Add mk.{hefs, nefs} tools for future formatting (with diutil
	  first)
	- Add python tool to generate user apps for NeKernel.

Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>

7 files changed, 55 insertions, 3 deletions

diff --git a/public/tools/diutil/src/CommandLine.cc b/public/tools/diutil/src/CommandLine.cc
index 604520a9..3e7353e6 100644
--- a/public/tools/diutil/src/CommandLine.cc
+++ b/public/tools/diutil/src/CommandLine.cc
@@ -9,12 +9,12 @@
 
 #include <DiskImage.fwrk/headers/DiskImage.h>
 
-static const Char kDiskName[kDIDiskNameLen] = "Disk";
-static SInt32	  kDiskSectorSz				= 512;
+static const Char kDiskName[kDIDiskNameLen] = "DISK";
+static SInt32	  kDiskSectorSz				= kDISectorSz;
 static SizeT	  kDiskSz					= gib_cast(4);
 static const Char kOutDisk[kDIOutNameLen]	= "disk.eimg";
 
-/// @brief Filesystem tool entrypoint.
+/// @brief Disk Utility entrypoint.
 int main(int argc, char** argv)
 {
 	for (SInt32 arg = 0; arg < argc; ++arg)
diff --git a/public/tools/mk.hefs/.keep b/public/tools/mk.hefs/.keep
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/public/tools/mk.hefs/.keep
diff --git a/public/tools/mk.hefs/mk.hefs.json b/public/tools/mk.hefs/mk.hefs.json
new file mode 100644
index 00000000..03f925cf
--- /dev/null
+++ b/public/tools/mk.hefs/mk.hefs.json
@@ -0,0 +1,12 @@
+{
+  "compiler_path": "g++",
+  "compiler_std": "c++20",
+  "headers_path": ["./", "../../../dev"],
+  "sources_path": ["src/CommandLine.cc"],
+  "output_name": "./dist/mk.hefs",
+  "cpp_macros": [
+    "kCCVersion=0x0100",
+    "kCCVersionHighest=0x0100",
+    "kCCVersionLowest=0x0100"
+  ]
+}
diff --git a/public/tools/mk.hefs/src/CommandLine.cc b/public/tools/mk.hefs/src/CommandLine.cc
new file mode 100644
index 00000000..23681be8
--- /dev/null
+++ b/public/tools/mk.hefs/src/CommandLine.cc
@@ -0,0 +1,14 @@
+/*
+ * Created on Thu Oct 17 08:00:42 CEST 2024
+ *
+ * Copyright (c) 2025 Amlal El Mahrouss
+ */
+
+#include <user/SystemCalls.h>
+
+/// @brief Placeholder program.
+
+SInt32 main(SInt32 argc, Char* argv[])
+{
+	return EXIT_FAILURE;
+}
diff --git a/public/tools/mk.nefs/.keep b/public/tools/mk.nefs/.keep
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/public/tools/mk.nefs/.keep
diff --git a/public/tools/mk.nefs/mk.nefs.json b/public/tools/mk.nefs/mk.nefs.json
new file mode 100644
index 00000000..e92e0b9c
--- /dev/null
+++ b/public/tools/mk.nefs/mk.nefs.json
@@ -0,0 +1,12 @@
+{
+  "compiler_path": "g++",
+  "compiler_std": "c++20",
+  "headers_path": ["./", "../../../dev"],
+  "sources_path": ["src/CommandLine.cc"],
+  "output_name": "./dist/mk.nefs",
+  "cpp_macros": [
+    "kCCVersion=0x0100",
+    "kCCVersionHighest=0x0100",
+    "kCCVersionLowest=0x0100"
+  ]
+}
diff --git a/public/tools/mk.nefs/src/CommandLine.cc b/public/tools/mk.nefs/src/CommandLine.cc
new file mode 100644
index 00000000..23681be8
--- /dev/null
+++ b/public/tools/mk.nefs/src/CommandLine.cc
@@ -0,0 +1,14 @@
+/*
+ * Created on Thu Oct 17 08:00:42 CEST 2024
+ *
+ * Copyright (c) 2025 Amlal El Mahrouss
+ */
+
+#include <user/SystemCalls.h>
+
+/// @brief Placeholder program.
+
+SInt32 main(SInt32 argc, Char* argv[])
+{
+	return EXIT_FAILURE;
+}