Automated regression test suite for L4

[Ben Leslie]

On Wed Apr 18, 2007 at 12:14:13 -0500, seth bollinger wrote:
>Hello All,
>
>Is there an automated regression test suite for L4 that covers all (or most of) the features of the l4 kernel?  Is there also an automated benchmarking suite?
>
>These would be great tools to have available for people who are porting the kernel to new platforms/dev boards, or for people who are looking to tweak/play with the kernel.

OKL4 has a reasonably comprehensive (but not complete) test suite, called
l4test, which is available with the latest OKL4
release. (http://portal.ok-labs.com/)

Cheers,

Ben