Dear Norman and all,
I encountered a problem when compiling, and I didn't find similar problems and solution on the Web throughout the day. Ubuntu 14.08 64-bit, Genode 13.02, VGA compatible controller: Advanced Micro Devices, Inc. [AMD/ATI] Caicos XT [Radeon HD 7470/8470 / R5 235 OEM] (should be 7470)
When I compiling make run/sth with GUI, vesa_drv failed to detect the VBE: [init -> vesa_drv] Could not open file "config" [init -> vesa_drv] Could not obtain config file [init -> vesa_drv] VBE Bios not present [init -> vesa_drv] Could not set vesa mode 1024x768@...64... [init -> nitpicker] C++ runtime: Genode::Parent::Service_denied [init -> nitpicker] void* abort(): abort called
as "dmesg | grep vesa" indicated: [ 0.610537] vesafb: mode is 1400x1050x32, linelength=5632, pages=0 [ 0.610538] vesafb: scrolling: redraw [ 0.610539] vesafb: Truecolor: size=0:8:8:8, shift=0:16:8:0 [ 0.610795] vesafb: framebuffer at 0xe0000000, mapped to 0xf8480000, using 5824k, total 5824k
------------------
Shuo Wang, University of Chinese Academy of Sciences.