#unit-testing #kernel #os #running #tee #ostd #osdk

osdk-test-kernel

The OSTD-based kernel for running unit tests with OSDK

15 unstable releases (3 breaking)

0.11.1 Dec 30, 2024
0.11.0 Dec 27, 2024
0.10.3 Dec 20, 2024
0.9.4 Oct 25, 2024
0.8.1 Aug 27, 2024

#272 in Testing

Download history 128/week @ 2024-09-17 105/week @ 2024-09-24 75/week @ 2024-10-01 307/week @ 2024-10-08 228/week @ 2024-10-15 145/week @ 2024-10-22 5/week @ 2024-10-29 4/week @ 2024-11-05 95/week @ 2024-11-26 184/week @ 2024-12-03 69/week @ 2024-12-10 253/week @ 2024-12-17 209/week @ 2024-12-24 45/week @ 2024-12-31

692 downloads per month

MPL-2.0 license

1MB
18K 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.

Dependencies

~6.5MB
~132K SLoC