singrdk/docs/Getting Started/An OS Research Agenda.pdf