osdk-test-kernel

This is an OSDK-based kernel that solely runs unit tests. It is shipped with OSDK to provide default unit-test infrastructure for kernel projects based on OSTD.

This is part of the Asterinas project.

lib.rs:

The OSTD unit test runner is a kernel that runs the tests defined by the #[ostd::ktest] attribute. The kernel should be automatically selected to run when OSDK is used to test a specific crate.