Re: Automated regression test suite for L4

Ben Leslie <[email protected]>
Newsgroups gmane.comp.micro-kernel.l4.devel,gmane.comp.micro-kernel.l4.l4ka.general
Message-ID <[email protected]> 
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
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.