\end{table}
% TODO Aggiungere SCHED_DEADLINE, sulla nuova politica di scheduling aggiunta
-% con il kernel 3.13, vedi anche Documentation/scheduler/sched-deadline.txt e
+% con il kernel 3.14, vedi anche Documentation/scheduler/sched-deadline.txt e
% http://lwn.net/Articles/575497/
Con le versioni più recenti del kernel sono state introdotte anche delle
% * Documentation/prctl/seccomp_filter.txt
% * http://lwn.net/Articles/475043/
+
+% TODO documentare PR_MPX_INIT e PR_MPX_RELEASE, vedi
+% http://lwn.net/Articles/582712/
+
\label{sec:prctl_operation}
\end{basedescript}