ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-13 22:23:45 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

seoul: update branch to using vbios emulators

Browse Source 
* use seoul branch containing vbios emulator

* report the memory model in the VBE mode info as otherwise the
  Genode framebuffer driver will ignore this mode

Fixes #1261
This commit is contained in:
Bernhard Kauer 2014-09-21 23:25:54 +02:00 committed by Christian Helmuth
parent 0be264d7d2
commit 27d76f77d1
3 changed files with 10 additions and 3 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 @@
f9a8e04cc3b086d8cbdff95cd5fcd1f7a3fdaad7
738b9e1298cbf6f99d9882c926cb6c102292c0f5

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 genode_virtualsmp
REV(seoul) := 86c743a519abb87d3a729db07137222d836420a6
# branch vbios
REV(seoul) := 04dcb10ecf51463eebcc303e82eb900110a91aef
DIR(seoul) := src/app/seoul
#

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

@ -130,6 +130,11 @@ bool Vancouver_console::receive(MessageConsole &msg)
/* XXX: For now, we only have one view. */
} else if (msg.type == MessageConsole::TYPE_GET_MODEINFO) {
enum {
MEMORY_MODEL_TEXT = 0,
MEMORY_MODEL_DIRECT_COLOR = 6,
};
/*
* We supply two modes to the guest, text mode and one
* configured graphics mode 16-bit.
@ -142,6 +147,7 @@ bool Vancouver_console::receive(MessageConsole &msg)
msg.info->bytes_per_scanline = 80*2;
msg.info->bytes_scanline = 80*2;
msg.info->bpp = 4;
msg.info->memory_model = MEMORY_MODEL_TEXT;
msg.info->phys_base = 0xb8000;
msg.info->_phys_size = 0x8000;
return true;
@ -159,6 +165,7 @@ bool Vancouver_console::receive(MessageConsole &msg)
msg.info->bytes_per_scanline = _fb_mode.width()*2;
msg.info->bytes_scanline = _fb_mode.width()*2;
msg.info->bpp = 16;
msg.info->memory_model = MEMORY_MODEL_DIRECT_COLOR;
msg.info->vbe1[0] = 0x5; /* red mask size */
msg.info->vbe1[1] = 0xb; /* red field position */
msg.info->vbe1[2] = 0x6; /* green mask size */