Yeah I was thinking of for time, but first needed to figure out how the kconfig build system works.
But I cloned the coreboot version, but now i have it almost on some minor details ready. And I tested
it on my system, tomorrow i will build a complete image including coreboot to see if my nokia will
run correctly with seabios generated from kconfig.

Currently i've implemented such a way that you can still use it "old school" by editing the 'hconfig.h'
file. But when all accept the new kconfig, than this can be dropped easily.


-----Original Message-----
From: Kevin O'Connor <>
To: Marc Bertens <>
Subject: Re: [SeaBIOS] Question about linker building seabios
Date: Sat, 15 Jan 2011 17:38:03 -0500

On Sat, Jan 15, 2011 at 10:51:11PM +0100, Marc Bertens wrote:
> Hi Kevin,
> Can you tell me what the short 'HDL' stands for in for example
> 'DEBUG_HDL_pmm'

I believe it was shorthand for "handle".

> Currently i'm building a kconfig for seabios

That would be great!