Booting Linux in One Second [pdf]