acrn-kernel/samples/trace_printk
..
Makefile
trace-printk.c