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! -Kevin