I don't think they're killing Chrome OS, Chromebooks seem to be as popular as ever with schools. Schools that can afford to buy Pixels probably would go for iPads instead, though. I doubt there is much of a market for high end Chrome OS hardware.