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