#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

#500 in Testing

Download history 139/week @ 2024-12-28 16/week @ 2025-01-04 4/week @ 2025-01-11 220/week @ 2025-02-22 80/week @ 2025-03-01 61/week @ 2025-03-08 164/week @ 2025-03-15 158/week @ 2025-03-22 5/week @ 2025-03-29 2/week @ 2025-04-05

186 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

~4–6MB
~120K SLoC