ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

seoul: update contrib branch 

- reactivate vga update, range was to small
- remove diagnostic messages
- add support to ignore machine check MSR MCG CAP

Issue #3683
This commit is contained in:
Alexander Boettcher 2020-03-16 10:08:54 +01:00 committed by Christian Helmuth
parent 8be72b0be1
commit 29911cf114
3 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/ports/ports/seoul.hash
View File

@ -1 +1 @@
b2a74773611d6bf383ed2b0401cef776cacdbc7b
e8d6968e967852affc6a7290936466f032dc210b

4
repos/ports/ports/seoul.port
View File

@ -3,8 +3,8 @@ VERSION := git
DOWNLOADS := seoul.git
URL(seoul) := https://github.com/alex-ab/seoul.git
# branch PARAM
REV(seoul) := 9150c6a129438feef80983e91e0a349da8bda25f
# branch genode_20_02
REV(seoul) := bcbb781d9412fe8c10d6e324e02116faf04b8d1f
DIR(seoul) := src/app/seoul
#

6
repos/ports/src/app/seoul/console.cc
View File

@ -242,7 +242,7 @@ void Seoul::Console::_reactivate()
bool Seoul::Console::receive(MessageMemRegion &msg)
{
/* we had a fault in the text framebuffer */
bool reactivate = (msg.page >= PHYS_FRAME_VGA_COLOR &&
bool reactivate = (msg.page >= PHYS_FRAME_VGA &&
msg.page < PHYS_FRAME_VGA_COLOR + FRAME_COUNT_COLOR);
/* vga memory got changed indirectly by vbios */
@ -255,7 +255,7 @@ bool Seoul::Console::receive(MessageMemRegion &msg)
if (reactivate) {
fb_state.vga_revoked = false;
Logging::printf("Reactivating text buffer loop.\n");
//Logging::printf("Reactivating text buffer loop.\n");
_reactivate();
}
@ -321,7 +321,7 @@ unsigned Seoul::Console::_handle_fb()
fb_state.unchanged = 0;
_framebuffer.refresh(0, 0, _fb_mode.width(), _fb_mode.height());
Logging::printf("Deactivated text buffer loop.\n");
//Logging::printf("Deactivated text buffer loop.\n");
return 0;
}