You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
6 lines
216 B
6 lines
216 B
% some common commands
|
|
\newcommand{\drops}{\texorpdfstring{\textsc{Drops}\xspace}{DROPS}}
|
|
\newcommand{\LLinux}{\texorpdfstring{L$\!^4$Linux}{L4Linux}}
|
|
|
|
\newcommand{\NOVA}{NOVA\xspace}
|
|
\newcommand{\QEMU}{QEMU\xspace}
|