Searched refs:notice (Results 1 - 5 of 5) sorted by relevance

/seL4-test-master/tools/seL4/cmake-tool/simulate_scripts/
H A Dsimulate.py47 def notice(message): function
83 notice(qemu_simulate_command)
86 notice('waiting for GDB on port 1234...')
96 notice(msg)
/seL4-test-master/tools/seL4/cmake-tool/helpers/
H A Dshoehorn.py61 def notice(message: str): function
65 write('notice: {}'.format(message))
159 notice('skipping checkum entry "{}"'.format(name))
/seL4-test-master/
H A Dgriddle97 notice () { function
98 _print "${GREEN}notice: $*" >&2
362 notice "not all seL4 projects (e.g., \"camkes\", \"sel4bench\") support" \
603 notice "try \"$PROGNAME --help\" for option usage"
671 notice "configuration is stable"
/seL4-test-master/tools/seL4/cmake-tool/
H A Dgriddle97 notice () { function
98 _print "${GREEN}notice: $*" >&2
362 notice "not all seL4 projects (e.g., \"camkes\", \"sel4bench\") support" \
603 notice "try \"$PROGNAME --help\" for option usage"
671 notice "configuration is stable"
/seL4-test-master/kernel/src/arch/x86/64/
H A Dtraps.S509 * exception continue. The debug exception handler will notice that it was

Completed in 155 milliseconds