kernel/nuttx_user*
scripts/*.tmp
