add validator to restrict the flexibility of LConfig

[lunaix-os.git] / lunaix-os / hal / LConfig

diff --git a/lunaix-os/hal/LConfig b/lunaix-os/hal/LConfig
index 9a70d02d05337371993496b90112bb44ec22f9e8..b2e00fa77c7b659a6147b79aa9dddde55b98658e 100644 (file)
--- a/lunaix-os/hal/LConfig
+++ b/lunaix-os/hal/LConfig
@@ -1,13 +1,11 @@
-include("char")
-include("bus")
-include("ahci")
+from . import char, bus, ahci
 
-@Collection("Devices & Peripherials")
+@"Devices & Peripherials"
 def hal():
     """ Lunaix hardware asbtraction layer """
 
-    @Term("Devicetree for hardware discovery")
-    def use_devicetree():
+    @"Devicetree for hardware discovery"
+    def use_devicetree() -> bool:
         """
             Decide whether to use Devicetree for platform
             resource topology sensing.
@@ -18,18 +16,16 @@ def hal():
             devicetree might be mandatory and perhaps the only
             way.
         """
+        require(not arch_x86)
 
-        type(bool)
-        default(not v(arch).startswith("x86"))
+        return False
 
-    @ReadOnly
-    @Term("Maximum size of device tree blob (in KiB)")
-    def dtb_maxsize():
+    @"Maximum size of device tree blob (in KiB)"
+    @readonly
+    def dtb_maxsize() -> int:
         """
             Maximum size for a firmware provided device tree blob
         """
+        require(use_devicetree)
 
-        type(int)
-        default(256)
-
-        return v(use_devicetree)
\ No newline at end of file
+        return 256
\ No newline at end of file