manut/vorlesung/schulung_tools/pgflt, branch schulung Unnamed repository; edit this file 'description' to name the repository. https://git.mecka.net/manut/vorlesung/atom?h=schulung 2018-02-20T14:03:14Z tools: rename 'rtex' tool to 'pgflt' 2018-02-20T14:03:14Z John Ogness john.ogness@linutronix.de 2018-02-20T14:03:14Z urn:sha1:021b32acd3cec8e255dd47681939797ec64b8206 The rtex tool only demonstrates prefaultingn to avoid runtime page faults. It makes more sense to call it pgflt. Signed-off-by: John Ogness <john.ogness@linutronix.de>