Re: [SeaBIOS] Question about linker building seabios

[Marc Bertens]

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