ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-02-20 09:46:20 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

driver_manager: provide more memory to boot_fb

Browse Source 
Fixes #3896
This commit is contained in:
Alexander Boettcher 2020-09-17 21:53:06 +02:00 committed by Christian Helmuth
parent e0d9a04f67
commit 2afba3c137
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/gems/run/sculpt.run
View File

@ -231,7 +231,7 @@ install_config {
</route>
</start>
<start name="drivers" caps="3000" priority="-1" managing_system="yes">
<start name="drivers" caps="3100" priority="-1" managing_system="yes">
<resource name="RAM" quantum="96M"/>
<binary name="init"/>
<route>

2
repos/gems/src/app/driver_manager/main.cc
View File

@ -176,7 +176,7 @@ struct Driver_manager::Boot_fb_driver : Device_driver
_pitch = _height = 0;
}
size_t num_bytes() const { return _pitch * _height + 512*1024; }
size_t num_bytes() const { return _pitch * _height + 1024*1024; }
bool valid() const { return _pitch * _height != 0; }
};