config: Fix type for devicetree setting

diff --git a/mkosi/config.py b/mkosi/config.py
index 938738932606f358dce687420611d1577867b15f..3c09ffb038c959931ac33c2914a1a6d032f9a555 100644 (file)
--- a/mkosi/config.py
+++ b/mkosi/config.py
@@ -2014,7 +2014,7 @@ class Config:
     initrd_packages: list[str]
     initrd_volatile_packages: list[str]
     microcode_host: bool
-    devicetree: Optional[Path]
+    devicetree: Optional[str]
     splash: Optional[Path]
     kernel_command_line: list[str]
     kernel_modules_include: list[str]

diff --git a/tests/test_json.py b/tests/test_json.py
index 61fb176529d6e1f0c40f98921be04ac989d2f7a0..6fd59fe493112cc9990b994a535813a0d3cf169f 100644 (file)
--- a/tests/test_json.py
+++ b/tests/test_json.py
@@ -510,7 +510,7 @@ def test_config() -> None:
         make_initrd=False,
         manifest_format=[ManifestFormat.json, ManifestFormat.changelog],
         microcode_host=True,
-        devicetree=Path("freescale/imx8mm-verdin-nonwifi-dev.dtb"),
+        devicetree="freescale/imx8mm-verdin-nonwifi-dev.dtb",
         minimum_version="123",
         mirror=None,
         nspawn_settings=None,