cdl_option CYGDAT_IO_SERIAL_TTY_CONSOLE {
    user_value "\"/dev/termios0\""
};

cdl_component CYGPKG_IO_SERIAL_TERMIOS_TERMIOS0 {
    user_value 1
};

cdl_component CYGPKG_IO_SERIAL_DEVICES {
    user_value 1
};

cdl_option CYGNUM_IO_SERIAL_POWERPC_PPC405_SERIAL0_BAUD {
    user_value 38400
};