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

osdk-test-kernel

The OSTD-based kernel for running unit tests with OSDK

11 releases

new 0.10.1 Dec 9, 2024
0.10.0 Dec 2, 2024
0.9.4 Oct 25, 2024
0.9.0 Sep 30, 2024
0.8.1 Aug 27, 2024

#433 in Testing

Download history 278/week @ 2024-08-24 12/week @ 2024-08-31 296/week @ 2024-09-14 28/week @ 2024-09-21 158/week @ 2024-09-28 153/week @ 2024-10-05 368/week @ 2024-10-12 142/week @ 2024-10-19 33/week @ 2024-10-26 5/week @ 2024-11-02 154/week @ 2024-11-30 194/week @ 2024-12-07

350 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

~4–6MB
~121K SLoC