alex/genode-world
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Change pixel format to 32 bits per pixel

Browse Source 
Issue genodelabs/genode#3784
This commit is contained in:
Norman Feske
2020-06-22 14:59:05 +02:00
parent 131670c109
commit 96987f84c7
20 changed files with 163 additions and 278 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
run/flif.run
View File

@@ -37,8 +37,8 @@ install_config {
<provides><service name="Timer"/></provides>
</start>
<start name="drivers" caps="1000">
<resource name="RAM" quantum="32M" constrain_phys="yes"/>
<start name="drivers" caps="1500">
<resource name="RAM" quantum="64M" constrain_phys="yes"/>
<binary name="init"/>
<route>
<service name="ROM" label="config"> <parent label="drivers.config"/> </service>