#os #os-kernel #kernel #tee

osdk-test-kernel

The OSTD-based kernel for running unit tests with OSDK

20 releases (5 breaking)

0.14.1 Mar 22, 2025
0.13.0 Mar 14, 2025
0.11.1 Dec 30, 2024
0.9.4 Oct 25, 2024

#489 in Testing

Download history 176/week @ 2024-12-18 232/week @ 2024-12-25 23/week @ 2025-01-01 8/week @ 2025-01-08 298/week @ 2025-02-26 3/week @ 2025-03-05 123/week @ 2025-03-12 254/week @ 2025-03-19 10/week @ 2025-03-26 2/week @ 2025-04-02

390 downloads per month

MPL-2.0 license

1MB
19K SLoC

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.


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.

Dependencies

~7.5MB
~153K SLoC