Genode OS framework and kernel-specific features

Valery V. Sedletski _valerius at
Sat Mar 5 22:29:52 CET 2011

On Sat, 05 Mar 2011 21:03:16 +0100, Norman Feske wrote:

>Hi Valery,
>There the three feasible approaches to integrate kernel-specific code: a
>separate repository that shadows parts of the other repositories, by
>using hack-ish preprocessor defines specified via the compiler command
>line (not recommended), or by using specialized libraries (highly
>recommended). I will shortly describe each of these ways.

Hi, Norman, thanks for your thorough answer. I expected that there is some API's or variables,
like those in the Kernel Interface Page, and to check them at the runtime. But doing that at compile 
time is even better. Also, the build system feature with customising through SPECS is cool, it's like
doing OOP with make :) An approach with REPOSITORIES is also nice, but several trees for one 
program maybe so much.


PS: maybe, offtopic, but I'm in trouble a bit.
-- I compiled Genode for Linux, but when starting Core, it cannot initialize a framebuffer device, writes
that /dev/fb0 file doesn't exist and that I need to specify the FRAMEBUFFER variable or enable fbdev.
I tried to load 'fbdev' module with modprobe, but such a module doesn't exist. 

Sorry if it's a common FAQ, but I didn't worked with framebuffer device on Linux before that. What I must do
to enable framebuffer? Need I load some driver?

More information about the l4-hackers mailing list