testing tools

Adam Lackorzynski adam at os.inf.tu-dresden.de
Wed Feb 11 00:05:40 CET 2015

On Mon Feb 09, 2015 at 13:46:53 -0500, Waldo Paz Rodriguez wrote:
> hello l4hackers, I need to know which types of testing and tools are
> available for testing devices drivers, system call performance, scheduling
> and any modification made on the system.

Broad scope. What one can typically do is running a diverse set of
configurations and check whether they still perform as wanted. For
hacking one usually has a specific test scenario that covers the wanted
behavior and which should be conserved.

Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

More information about the l4-hackers mailing list