from: kernel
to: libc
evidence:
 - file: "kernel/os/include/os/os.h"
   contains "#include <stdlib.h>"

from: kernel
to: libc
evidence:
 - file: "kernel/os/include/os/os_trace_api.h"
   contains "#include <stdio.h>"

from: kernel
to: libc
evidence:
 - file: "kernel/sim/include/sim/sim.h"
   contains "#include <stdio.h>"