-- SPDX-License-Identifier: CC0-1.0

let Genode = env:DHALL_GENODE

let sumRam =
        λ(boot : Genode.Boot.Type)
      → let sum = Genode.Init.resources boot.config in sum.ram

in  sumRam