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
|