Searched refs:logo (Results 1 - 3 of 3) sorted by relevance

/seL4-test-master/tools/riscv-pk/bbl/
H A Dlogo.c6 extern const char logo[];
10 putstring(logo);
H A Draw_logo.S6 .globl logo
7 logo: label
/seL4-test-master/tools/riscv-pk/
H A Dconfigure1328 --enable-logo Enable boot logo
1337 --with-logo Specify a better logo
4230 # Check whether --enable-logo was given.
4267 # Check whether --with-logo was given.

Completed in 33 milliseconds