[seL4] CAmkES Tutorial, check_deps.py - what does good look like?