2020-02-19 13:25:36 +01:00
|
|
|
-- SPDX-License-Identifier: CC0-1.0
|
|
|
|
|
|
|
|
let Genode = env:DHALL_GENODE
|
|
|
|
|
|
|
|
let sumRam =
|
|
|
|
λ(boot : Genode.Boot.Type)
|
2020-02-21 22:55:50 +01:00
|
|
|
→ let sum = Genode.Init.resources boot.config in sum.ram
|
2020-02-19 13:25:36 +01:00
|
|
|
|
|
|
|
in sumRam
|