13 Commits

Author	SHA1	Message	Date
Zhang Junyang	05533d7afd	Fix multiple documentation issues concerned by clippy	2024-06-21 10:57:08 +08:00
Ruihan Li	83b88229a3	Unify headers of safety comments	2024-05-22 13:21:16 +08:00
Zhang Junyang	bd878dd1c9	Update dev image for OSDK and bump version to 0.4.0	2024-02-28 16:30:48 +08:00
Zhang Junyang	3494bc45af	Apply the new format policy	2024-02-28 16:30:48 +08:00
Zhang Junyang	f97d0f1260	Implement OSDK functionalities and opt-in OSDK for asterinas	2024-02-28 16:30:48 +08:00
Chen Chengjun	cfcef6965a	Adjust the format of imports in Asterinas	2024-02-26 10:03:45 +08:00
Jianfeng Jiang	faaa4438d6	License rust and c source files	2024-01-18 08:22:58 +08:00
Jianfeng Jiang	99f6765ced	Rename jinux to asterinas in documentation and code	2023-12-26 11:49:24 +08:00
Jianfeng Jiang	93781df27b	Rename crates from jinux-* to aster-*	2023-12-26 11:49:24 +08:00
Zhang Junyang	ec3daca5fd	Add ktest whitelist support	2023-11-09 13:22:34 +08:00
Zhang Junyang	8eb1e06c2a	Implement should_panic expectation and refactor ktest	2023-11-09 13:22:34 +08:00
Zhang Junyang	45a6b2f46c	Implement should_panic for ktest and clear the codebase	2023-11-09 13:22:34 +08:00
Zhang Junyang	b8818bb740	Add ktest framework	2023-11-09 13:22:34 +08:00