Module config
Configuration Register
Write proxy for field DBGHALT
DBGHALT
Reader of field DBGHALT
Reader of register CONFIG
Writer for register CONFIG