Automated regression test suite for L4

seth bollinger <[email protected]> Wed, 18 Apr 2007 12:14:13 -0500

Newsgroups	gmane.comp.micro-kernel.l4.l4ka.general,gmane.comp.micro-kernel.l4.devel
Message-ID	<[email protected]>

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.

Thanks,

Seth