127 lines
3.9 KiB
Plaintext
127 lines
3.9 KiB
Plaintext
-- SPDX-License-Identifier: CC0-1.0
|
|
|
|
let Genode = env:DHALL_GENODE
|
|
|
|
let Prelude = Genode.Prelude
|
|
|
|
let RomMap = Prelude.Map.Type Text Genode.Boot.Rom
|
|
|
|
let RomEntry = Prelude.Map.Entry Text Genode.Boot.Rom
|
|
|
|
let Configuration =
|
|
{ arch : < x86_32 | x86_64 >, config : Genode.Init.Type, rom : RomMap }
|
|
: Type
|
|
|
|
in λ ( boot
|
|
: Configuration
|
|
)
|
|
→ let NaturalIndex =
|
|
{ index : Natural, value : Text }
|
|
|
|
let TextIndex = { index : Text, value : Text }
|
|
|
|
let rom =
|
|
[ { mapKey = "config"
|
|
, mapValue =
|
|
Genode.Boot.Rom.RomText (Genode.Init.render boot.config)
|
|
}
|
|
]
|
|
# boot.rom
|
|
|
|
let moduleKeys = Prelude.Map.keys Text Genode.Boot.Rom rom
|
|
|
|
let moduleValues =
|
|
let f =
|
|
λ(e : RomEntry)
|
|
→ merge
|
|
{ RomText = λ(text : Text) → ".ascii ${Text/show text}"
|
|
, RomPath = λ(path : Text) → ".incbin ${Text/show path}"
|
|
}
|
|
e.mapValue
|
|
|
|
in Prelude.List.map RomEntry Text f rom
|
|
|
|
let map =
|
|
λ(list : List Text)
|
|
→ λ(f : TextIndex → Text)
|
|
→ let indexedNatural = Prelude.List.indexed Text list
|
|
|
|
let indexed =
|
|
Prelude.List.map
|
|
NaturalIndex
|
|
TextIndex
|
|
( λ(x : NaturalIndex)
|
|
→ { index = Prelude.Natural.show x.index
|
|
, value = x.value
|
|
}
|
|
)
|
|
indexedNatural
|
|
|
|
let texts = Prelude.List.map TextIndex Text f indexed
|
|
|
|
in Prelude.Text.concatSep "\n" texts
|
|
|
|
let mapNames = map moduleKeys
|
|
|
|
let mapValues = map moduleValues
|
|
|
|
let addressType = merge { x86_32 = ".long", x86_64 = ".quad" } boot.arch
|
|
|
|
in ''
|
|
.set MIN_PAGE_SIZE_LOG2, 12
|
|
.set DATA_ACCESS_ALIGNM_LOG2, 3
|
|
|
|
.section .data
|
|
|
|
.p2align DATA_ACCESS_ALIGNM_LOG2
|
|
.global _boot_modules_headers_begin
|
|
_boot_modules_headers_begin:
|
|
|
|
''
|
|
++ mapNames
|
|
( λ ( m
|
|
: TextIndex
|
|
)
|
|
→ ''
|
|
${addressType} _boot_module_${m.index}_name
|
|
${addressType} _boot_module_${m.index}_begin
|
|
${addressType} _boot_module_${m.index}_end - _boot_module_${m.index}_begin
|
|
''
|
|
)
|
|
++ ''
|
|
.global _boot_modules_headers_end
|
|
_boot_modules_headers_end:
|
|
|
|
''
|
|
++ mapNames
|
|
( λ(m : TextIndex)
|
|
→ ''
|
|
.p2align DATA_ACCESS_ALIGNM_LOG2
|
|
_boot_module_${m.index}_name:
|
|
.string "${m.value}"
|
|
.byte 0
|
|
|
|
''
|
|
)
|
|
++ ''
|
|
.section .data.boot_modules_binaries
|
|
|
|
.global _boot_modules_binaries_begin
|
|
_boot_modules_binaries_begin:
|
|
|
|
''
|
|
++ mapValues
|
|
( λ(m : TextIndex)
|
|
→ ''
|
|
.p2align MIN_PAGE_SIZE_LOG2
|
|
_boot_module_${m.index}_begin:
|
|
${m.value}
|
|
_boot_module_${m.index}_end:
|
|
''
|
|
)
|
|
++ ''
|
|
.p2align MIN_PAGE_SIZE_LOG2
|
|
.global _boot_modules_binaries_end
|
|
_boot_modules_binaries_end:
|
|
''
|