Discussion points from the recitation (Exokernel, Internet)