summaryrefslogtreecommitdiff
path: root/schulung_tools/pgflt
AgeCommit message (Collapse)Author
2018-02-20tools: rename 'rtex' tool to 'pgflt'John Ogness
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>