Meltdown-Spectre amplifies call for new hardware-software contract

Data61's Gernot Heiser says the traditional instruction set architecture (ISA) model is past its use-by date. Meanwhile, the seL4 microkernel team he leads is now conquering time as well as space.