taglinefilesource code
ulcolor576kernel/chr_drv/console.cattr = (attr & 0xf0) | ulcolor;
ulcolor776kernel/chr_drv/console.culcolor = color_table[par[1]];
ulcolor1423kernel/chr_drv/console.culcolor    = 0x0f;   /* bold white */