Zero or MKR1000 core temperature?

I know there are ways to read the internal core temperature sensors in some AVR Arduinos. But is there a way as well to get these temperatures from the ARM-based Zero or MKR1000 *uinos?