add todo: linux booting