Others have used Linux, either on dedicated devices (e.g., iPodLinux~\cite{1352199}),
or in virtualized environments~\cite{1008027,1352648,Nieh2005Experiences}, to provide
an internal, concrete perspective. Compared to those approaches, Pintos provides
Others have used Linux, either on dedicated devices (e.g., iPodLinux~\cite{1352199}),
or in virtualized environments~\cite{1008027,1352648,Nieh2005Experiences}, to provide
an internal, concrete perspective. Compared to those approaches, Pintos provides