Merge branch 'pf_kernel' into 'master'

New event: page fault kernel

See merge request fweisbec/dynticks-testing!6
tree: b3854b0e5cb59db749bde4797495d2bcc78bb5ce
  1. Makefile
  2. noise_parse.py
  3. README
  4. run
  5. trace.1.example
  6. user_loop.c