These should be in the device tree