285 lines
11 KiB
Plaintext
285 lines
11 KiB
Plaintext
-- SPDX-License-Identifier: CC0-1.0
|
|
|
|
let Genode = env:DHALL_GENODE
|
|
|
|
let Prelude = Genode.Prelude
|
|
|
|
let XML = Prelude.XML
|
|
|
|
let Init = Genode.Init
|
|
|
|
let Child = Init.Child
|
|
|
|
let Resources = Init.Resources
|
|
|
|
let ServiceRoute = Init.ServiceRoute
|
|
|
|
let reportRomRoute =
|
|
λ(service : Text)
|
|
→ λ(label : Text)
|
|
→ ServiceRoute.childLabel service "report_rom" (Some label) (None Text)
|
|
|
|
let reportRomReport = reportRomRoute "Report"
|
|
|
|
let reportRomROM = reportRomRoute "ROM"
|
|
|
|
let drivers =
|
|
Init::{
|
|
, services =
|
|
[ ServiceRoute.child "Framebuffer" "dynamic"
|
|
, ServiceRoute.child "Block" "dynamic"
|
|
, ServiceRoute.child "Usb" "usb_drv"
|
|
, ServiceRoute.child "Platform" "platform_drv"
|
|
, ServiceRoute.child "Input" "input_filter"
|
|
, ServiceRoute.child "Rtc" "rtc"
|
|
]
|
|
, children =
|
|
toMap
|
|
{ rtc =
|
|
Child.flat
|
|
Child.Attributes::{
|
|
, binary = "rtc_drv"
|
|
, provides = [ "Rtc" ]
|
|
, routes =
|
|
[ ServiceRoute.parent "IO_PORT"
|
|
, ServiceRoute.parent "IO_MEM"
|
|
]
|
|
}
|
|
, report_rom =
|
|
Child.flat
|
|
Child.Attributes::{
|
|
, binary = "report_rom"
|
|
, resources = Resources::{ ram = Genode.units.MiB 2 }
|
|
, provides = [ "ROM", "Report" ]
|
|
, config =
|
|
Init.Config::{
|
|
, content =
|
|
[ XML.text
|
|
''
|
|
<policy label="platform_drv -> acpi" report="acpi_drv -> acpi"/>
|
|
<policy label="driver_manager -> pci_devices" report="platform_drv -> pci"/>
|
|
<policy label="usb_drv -> config" report="driver_manager -> usb_drv.config"/>
|
|
<policy label="driver_manager -> usb_devices" report="usb_drv -> devices"/>
|
|
<policy label="dynamic -> config" report="driver_manager -> init.config"/>
|
|
<policy label="driver_manager -> ahci_ports" report="dynamic -> ahci_ports"/>
|
|
<policy label="driver_manager -> nvme_ns" report="dynamic -> nvme_ns"/>
|
|
<policy label="rom_reporter -> acpi" report="acpi_drv -> acpi"/>
|
|
<policy label="rom_reporter -> pci_devices" report="platform_drv -> pci"/>
|
|
<policy label="rom_reporter -> usb_devices" report="usb_drv -> devices"/>
|
|
''
|
|
]
|
|
}
|
|
}
|
|
, rom_reporter =
|
|
Child.flat
|
|
Child.Attributes::{
|
|
, binary = "rom_reporter"
|
|
, config =
|
|
Init.Config::{
|
|
, content =
|
|
[ XML.text
|
|
''
|
|
<rom label="acpi"/>
|
|
<rom label="pci_devices"/>
|
|
<rom label="usb_devices"/>
|
|
''
|
|
]
|
|
}
|
|
, routes =
|
|
let routeReportToParent =
|
|
λ(label : Text)
|
|
→ ServiceRoute.parentLabel
|
|
"Report"
|
|
(Some label)
|
|
(Some label)
|
|
|
|
in [ reportRomROM "acpi"
|
|
, reportRomROM "pci_devices"
|
|
, reportRomROM "usb_devices"
|
|
, routeReportToParent "acpi"
|
|
, routeReportToParent "pci_devices"
|
|
, routeReportToParent "usb_devices"
|
|
]
|
|
}
|
|
, acpi_drv =
|
|
Child.flat
|
|
Child.Attributes::{
|
|
, binary = "acpi_drv"
|
|
, priority = 1
|
|
, resources =
|
|
Resources::{ caps = 350, ram = Genode.units.MiB 4 }
|
|
, routes =
|
|
[ ServiceRoute.parent "IO_MEM"
|
|
, reportRomReport "acpi"
|
|
, ServiceRoute.parentLabel
|
|
"Report"
|
|
(Some "smbios_table")
|
|
(Some "smbios_table")
|
|
]
|
|
}
|
|
, platform_drv =
|
|
Child.flat
|
|
Child.Attributes::{
|
|
, binary = "platform_drv"
|
|
, resources =
|
|
Resources::{
|
|
, caps = 400
|
|
, ram = Genode.units.MiB 4
|
|
, constrainPhys = True
|
|
}
|
|
, provides = [ "Acpi", "Platform" ]
|
|
, routes =
|
|
[ ServiceRoute.parent "IRQ"
|
|
, ServiceRoute.parent "IO_MEM"
|
|
, ServiceRoute.parent "IO_PORT"
|
|
, ServiceRoute.parent "Timer"
|
|
, ServiceRoute.parentLabel
|
|
"ROM"
|
|
(Some "system")
|
|
(Some "system")
|
|
, reportRomROM "acpi"
|
|
, reportRomReport "pci"
|
|
]
|
|
, config =
|
|
Init.Config::{
|
|
, attributes = toMap { system = "yes" }
|
|
, content =
|
|
[ XML.text
|
|
''
|
|
<report pci="yes"/>
|
|
<policy label_prefix="ps2_drv">
|
|
<device name="PS2"/>
|
|
</policy>
|
|
<policy label_prefix="dynamic -> vesa_fb_drv">
|
|
<pci class="VGA"/>
|
|
</policy>
|
|
<policy label_prefix="dynamic -> ahci_drv">
|
|
<pci class="AHCI"/>
|
|
</policy>
|
|
<policy label_prefix="dynamic -> nvme_drv">
|
|
<pci class="NVME"/>
|
|
</policy>
|
|
<policy label_prefix="usb_drv">
|
|
<pci class="USB"/>
|
|
</policy>
|
|
<policy label_prefix="dynamic -> intel_fb_drv">
|
|
<pci class="VGA"/>
|
|
<pci bus="0" device="0" function="0"/>
|
|
<pci class="ISABRIDGE"/>
|
|
</policy>
|
|
<policy label_suffix="-> wifi">
|
|
<pci class="WIFI"/>
|
|
</policy>
|
|
<policy label_suffix="-> nic">
|
|
<pci class="ETHERNET"/>
|
|
</policy>
|
|
<policy label_suffix="-> audio">
|
|
<pci class="AUDIO"/>
|
|
<pci class="HDAUDIO"/>
|
|
</policy>
|
|
<policy label="acpica"/>
|
|
''
|
|
]
|
|
}
|
|
}
|
|
, usb_drv =
|
|
Child.flat
|
|
Child.Attributes::{
|
|
, binary = "usb_drv"
|
|
, priority = 1
|
|
, resources =
|
|
Resources::{ caps = 200, ram = Genode.units.MiB 16 }
|
|
, provides = [ "Input", "Usb" ]
|
|
, routes =
|
|
[ ServiceRoute.child "Platform" "platform_drv"
|
|
, reportRomROM "config"
|
|
, reportRomReport "devices"
|
|
, ServiceRoute.parentLabel
|
|
"Report"
|
|
(Some "config")
|
|
(Some "usb_active_config")
|
|
, ServiceRoute.parent "Timer"
|
|
]
|
|
}
|
|
, ps2_drv =
|
|
Child.flat
|
|
Child.Attributes::{
|
|
, binary = "ps2_drv"
|
|
, provides = [ "Input" ]
|
|
, routes =
|
|
[ ServiceRoute.child "Platform" "platform_drv"
|
|
, ServiceRoute.parent "Timer"
|
|
]
|
|
}
|
|
, input_filter =
|
|
Child.flat
|
|
Child.Attributes::{
|
|
, binary = "input_filter"
|
|
, priority = 1
|
|
, resources = Resources::{ ram = Genode.units.MiB 2 }
|
|
, provides = [ "Input" ]
|
|
, routes =
|
|
[ ServiceRoute.parent "Timer"
|
|
, ServiceRoute.parentLabel
|
|
"ROM"
|
|
(Some "config")
|
|
(Some "input_filter.config")
|
|
, ServiceRoute.childLabel
|
|
"Input"
|
|
"ps2_drv"
|
|
(Some "ps2")
|
|
(None Text)
|
|
, ServiceRoute.childLabel
|
|
"Input"
|
|
"usb_drv"
|
|
(Some "usb")
|
|
(None Text)
|
|
]
|
|
}
|
|
, driver_manager =
|
|
Child.flat
|
|
Child.Attributes::{
|
|
, binary = "driver_manager"
|
|
, priority = 1
|
|
, routes =
|
|
[ reportRomReport "init.config"
|
|
, reportRomReport "usb_drv.config"
|
|
, ServiceRoute.parentLabel
|
|
"Report"
|
|
(Some "block_devices")
|
|
(Some "block_devices")
|
|
, reportRomROM "usb_devices"
|
|
, reportRomROM "pci_devices"
|
|
, reportRomROM "ahci_ports"
|
|
, reportRomROM "nvme_ns"
|
|
, ServiceRoute.parentLabel
|
|
"ROM"
|
|
(Some "usb_policy")
|
|
(Some "usb_policy")
|
|
]
|
|
}
|
|
, dynamic =
|
|
Child.flat
|
|
Child.Attributes::{
|
|
, binary = "init"
|
|
, priority = 1
|
|
, resources =
|
|
Resources::{ caps = 1400, ram = Genode.units.MiB 64 }
|
|
, provides = [ "Framebuffer", "Block" ]
|
|
, routes =
|
|
[ ServiceRoute.child "Platform" "platform_drv"
|
|
, reportRomReport "ahci_ports"
|
|
, reportRomReport "nvme_ns"
|
|
, ServiceRoute.child "Usb" "usb_drv"
|
|
, reportRomROM "config"
|
|
, ServiceRoute.parent "Timer"
|
|
, ServiceRoute.parent "Report"
|
|
, ServiceRoute.parent "IO_MEM"
|
|
, ServiceRoute.parent "IO_PORT"
|
|
]
|
|
}
|
|
}
|
|
}
|
|
|
|
in drivers
|