10 lines
245 B
Plaintext
10 lines
245 B
Plaintext
|
-- SPDX-License-Identifier: CC0-1.0
|
||
|
|
||
|
let Genode = env:DHALL_GENODE
|
||
|
|
||
|
let BootModules = Genode.BootModules
|
||
|
|
||
|
in λ(configPath : Text)
|
||
|
→ λ(rom : Genode.BootModules.Type)
|
||
|
→ BootModules.toRomPaths (toMap { config = configPath }) # rom
|