Constant CONFIG_TTY_DEMUXER

Source
pub const CONFIG_TTY_DEMUXER: u32 = 1;