Hi Kevin,

Can you tell me what the short 'HDL' stands for in for example 'DEBUG_HDL_pmm'

Currently i'm building a kconfig for seabios

Marc