
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 TRANSITIONAL//EN">

<HTML>

<HEAD>

  <META HTTP-EQUIV="Content-Type" CONTENT="text/html; CHARSET=UTF-8">

  <META NAME="GENERATOR" CONTENT="GtkHTML/3.28.3">

</HEAD>

<BODY>

Hi Kevin,<BR>

<BR>

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

<BR>

Currently i'm building a kconfig for seabios<BR>

<BR>

Marc 

</BODY>

</HTML>