From 511da6d35e778aa709571fb48772212567377f0c Mon Sep 17 00:00:00 2001
From: Richard Qin <richard.qin.x@gmail.com>
Date: Sun, 3 May 2026 01:56:18 +0800
Subject: feat: enhance KASLR support with early seed metadata and validation
 checks

Co-authored-by: Copilot <copilot@github.com>
---
 na/include/lume/random.h | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'na/include')

diff --git a/na/include/lume/random.h b/na/include/lume/random.h
index 0705b1b..740b060 100644
--- a/na/include/lume/random.h
+++ b/na/include/lume/random.h
@@ -5,6 +5,13 @@
 
 #include <lume/types.h>
 
+enum class RandomSeedSource : uint8 {
+	Unknown = 0,
+	FdtProvided,
+	HwRandom,
+	CycleFallback,
+};
+
 /*
  * MI: Machine-Independent Random Number Generator API
  *
@@ -24,3 +31,8 @@ void get_random_bytes(void* buf, size_t len);
 
 /* Inject entropy (for future interrupt/device mixing) */
 void add_device_randomness(const void* buf, size_t len);
+
+/* Early-seed metadata (for boot diagnostics/KASLR logs). */
+RandomSeedSource random_early_seed_source();
+uint64 random_early_seed_value();
+const char* random_seed_source_name(RandomSeedSource source);
-- 
cgit v1.2.3