add missing device names for red brick console under different os