From: DaanDeMeyer Date: Tue, 26 Aug 2025 18:58:11 +0000 (+0200) Subject: config: Fix type for devicetree setting X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=1332b32cb4b9085fd5e5df14fd138294a506b6c9;p=thirdparty%2Fmkosi.git config: Fix type for devicetree setting --- diff --git a/mkosi/config.py b/mkosi/config.py index 938738932..3c09ffb03 100644 --- 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 61fb17652..6fd59fe49 100644 --- 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,