33 Commits

Author	SHA1	Message	Date
Ruize Tang	858e95ed4d	Enhance OSDK performance by reusing existing base, bundle and build	2024-12-15 16:42:57 +08:00
Zhang Junyang	a716763772	Remove the linkage feature usage for ostd::main	2024-10-20 13:24:58 +08:00
Zhang Junyang	909639fd70	Separate SegmentSlice from Segment	2024-10-09 19:23:46 +08:00
Zhang Junyang	ab8b6afee5	OSDK GDB server args with QEMU-style options	2024-09-30 16:04:03 +08:00
Zhang Junyang	eca9aacbf0	Introduce cargo osdk profile for flame graph profiling	2024-09-30 16:04:03 +08:00
Jianfeng Jiang	f3174dbbbc	Make task store Arc<Thread> and process store Arc<Task>	2024-09-14 17:34:14 +08:00
Zhang Junyang	d9eccdcfbe	Implement remote TLB flush on VmSpace	2024-09-13 20:10:03 +08:00
Cautreoxit	86f09eef75	Fix all spelling mistakes in history by typos tool	2024-08-27 12:19:48 +08:00
Zhang Junyang	4231645c02	Fix is_tdx_enabled in OSDK tests	2024-08-25 20:42:04 +08:00
Zhang Junyang	be3492d7f0	Extract the OSTD test runner as a kernel	2024-08-23 23:37:50 +08:00
Shaowei Song	2102107be1	Refactor VmReader&VmWriter as given fallibility marker	2024-08-21 22:24:15 +08:00
Hsy-Intel	3a6768ecb2	Add TDX support for OSDK test	2024-08-13 20:27:21 +08:00
Marsman1996	8dc08dccba	Add test for new crate with hypen	2024-08-08 19:55:15 +08:00
Zhang Junyang	37a9590cfe	Refactor ostd::task::processor based on faster CPU-local cells	2024-08-08 19:21:03 +08:00
Zhang Junyang	20524ae64a	Update the 100-line kernel and format it as well	2024-07-20 20:56:29 +08:00
Jianfeng Jiang	f86583dbce	Make essential changes for publishing OSTD	2024-07-18 18:18:05 +08:00
Jianfeng Jiang	72e726295f	Include the 100 lines kernel in CI	2024-06-28 20:22:12 +08:00
Jianfeng Jiang	3de8a9330a	Fix the OSDK CI failure	2024-06-27 15:45:49 +08:00
Jianfeng Jiang	fe7251c413	Rename aster_main as ostd::main	2024-06-27 15:45:49 +08:00
Jianfeng Jiang	59350a8578	Rename aster-frame to ostd	2024-06-27 15:45:49 +08:00
Jianfeng Jiang	3b95191f7e	Subcommand new should not parse CommonArgs	2024-06-09 22:55:01 +08:00
Jianfeng Jiang	1391ff59f2	Polish OSDK documentation	2024-06-09 22:55:01 +08:00
Chen Chengjun	c02eacd50c	Use deny(unsafe_code) instead of forbid(unsafe_code)	2024-05-31 16:05:58 +08:00
Jianfeng Jiang	32b1fb3723	Fix OSDK CI bugs & Build OSDK with stable channel in CI	2024-05-23 12:32:25 +08:00
Zhang Junyang	e4c2151566	Implement the next OSDK	2024-04-25 09:44:46 +08:00
Zhang Junyang	3dce753c86	Multiple ways to specify OSDK new's type	2024-04-25 09:44:46 +08:00
Zhang Junyang	33c53dcf2b	Overhaul OSDK	2024-04-25 09:44:46 +08:00
fgh1999	1d5744ae80	Add unit test for OSDK debug functions	2024-04-01 17:26:49 +08:00
Jianfeng Jiang	5941d3e6eb	Fix format errors	2024-03-22 15:01:18 +08:00
Jianfeng Jiang	63499c675c	Add OSDK demos in Asterinas Book in OSDK integration test	2024-03-22 10:39:23 +08:00
Jianfeng Jiang	951b2f98dd	Run OSDK tests in host environment	2024-03-22 10:39:23 +08:00
Jianfeng Jiang	7d8e8aa07d	Temporarily disable OSDK integration test	2024-03-01 13:41:49 +08:00
Zhang Junyang	6694f08eac	Refactor CI and OSDK tests, add OSDK publish workflow	2024-02-28 16:30:48 +08:00