addrmap XMC4XXX_UART {

addrmap {
    desc = "Generated by RenodeModelsAnalyzer";
    reg {
        name="KernelStateConfiguration";
        desc = "Could not determine register's width, guessed 8 bits.";
        regwidth=0x8;
            field {
                desc = "This is a dummy r/w field, generated just to show the register in specs";
                sw = rw;
            } DUMMY[7:0];
    } KernelStateConfiguration @ 0xc;
    reg {
        name="TransmitBufferInput0";
        desc = "Could not determine register's width, guessed 8 bits.";
        regwidth=0x8;
            field {
                desc = "This is a dummy r/w field, generated just to show the register in specs";
                sw = rw;
            } DUMMY[7:0];
    } TransmitBufferInput0 @ 0x80;
} Registers_addrmap;


};