PS1 colors changed, added devinfo()