Searched refs:BOLD (Results 1 - 9 of 9) sorted by relevance
/seL4-camkes-master/projects/camkes-tool/camkes/internal/ |
H A D | terminal.py | 30 BOLD = '\033[1m' variable
|
H A D | exception.py | 20 from camkes.internal.terminal import BOLD, RED, RESET, terminal_supports_colour namespace 74 msg.extend([RED, BOLD])
|
/seL4-camkes-master/projects/global-components/components/SerialServer/src/ |
H A D | serial.c | 84 ANSI_COLOR(RED, BOLD) 85 ANSI_COLOR(GREEN, BOLD), 86 ANSI_COLOR(BLUE, BOLD), 87 ANSI_COLOR(MAGENTA, BOLD), 88 ANSI_COLOR(YELLOW, BOLD), 89 ANSI_COLOR(CYAN, BOLD), 99 ANSI_COLOR2(RED, WHITE, BOLD) 100 ANSI_COLOR2(GREEN, WHITE, BOLD), 101 ANSI_COLOR2(BLUE, WHITE, BOLD), 102 ANSI_COLOR2(MAGENTA, WHITE, BOLD), [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4serialserver/src/ |
H A D | server.c | 44 ANSI_COLOR(RED, BOLD), 45 ANSI_COLOR(GREEN, BOLD), 46 ANSI_COLOR(YELLOW, BOLD), 47 ANSI_COLOR(BLUE, BOLD), 48 ANSI_COLOR(MAGENTA, BOLD), 49 ANSI_COLOR(CYAN, BOLD),
|
/seL4-camkes-master/ |
H A D | griddle | 49 BOLD=$(tput bold) || BOLD= 87 echo "${PROGNAME:-(unknown program)}: $BOLD$*$NORMAL"
|
/seL4-camkes-master/tools/seL4/cmake-tool/ |
H A D | griddle | 49 BOLD=$(tput bold) || BOLD= 87 echo "${PROGNAME:-(unknown program)}: $BOLD$*$NORMAL"
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/arm/ |
H A D | syscalls.c | 112 ANSI_COLOR(RED, BOLD), vm->vm_name, syscall, (void *) ip, ANSI_COLOR(RESET));
|
H A D | vm.c | 81 ANSI_COLOR(RED, BOLD), vcpu->vm->vm_name, seL4_GetMR(0), ANSI_COLOR(RESET));
|
H A D | fault.c | 455 printf(ANSI_COLOR(RED, BOLD));
|
Completed in 65 milliseconds