mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-09 04:31:23 +00:00
c0c2ed2bf5
First, the former implementation has only considered the pure numerical variant of the -m argument. Yet, qemu also allows specifying the amount of memory by `-m 1G`, `-m size=1G` and more. Second, the default amount of memory for BOARD=pc was 512M (800M in case of okl4). Since the depot_autopilot.run also required at least 768M on all platforms it seems reasonable to take 800M as a default value for BOARD=pc and thereby remove the special treatment of okl4. genodelabs/genode#4311
This directory is a source-code repository containing Genode-specific services and applications. In contrast to the components that come with the 'os' repository, programs contained in 'gems' are able to leverage the functionalities provided by higher-level repositories such as 'libports'. To use the 'gems' repository, make sure to also add those repositories to your build configuraion.