14 lines
259 B
Plaintext
14 lines
259 B
Plaintext
-- SPDX-License-Identifier: CC0-1.0
|
|
|
|
let Genode = env:DHALL_GENODE
|
|
|
|
let toRom =
|
|
λ(mapKey : Text)
|
|
→ λ(path : Text)
|
|
→ [ { mapKey = mapKey
|
|
, mapValue = Genode.BootModules.ROM.Type.RomPath path
|
|
}
|
|
]
|
|
|
|
in toRom
|