Automated regression test suite for L4

Ben Leslie benno at
Wed Apr 18 20:31:00 CEST 2007

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. (



More information about the l4-hackers mailing list