12 Commits

Author	SHA1	Message	Date
Zhang Junyang	20524ae64a	Update the 100-line kernel and format it as well	2024-07-20 20:56:29 +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	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	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
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