16 Commits

Author	SHA1	Message	Date
Zhang Junyang	be3492d7f0	Extract the OSTD test runner as a kernel	2024-08-23 23:37:50 +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	33c53dcf2b	Overhaul OSDK	2024-04-25 09:44:46 +08:00
Zhang Junyang	735d7b7b11	Prepare OSDK for multi arch support and the upcoming refactor	2024-04-25 09:44:46 +08:00
Ruihan Li	3c31ec35cf	Fix empty backtraces when panicking	2024-04-03 08:20:15 +08:00
fgh1999	e616eb3a4c	Add unix sockets for QEMU GDB in OSDK run command	2024-04-01 17:26:49 +08:00
fgh1999	5fd3b1bc2f	Support GDB server for cargo osdk run ... Feature: generate launch config for debugging via VS Code.	2024-04-01 17:26:49 +08:00
Jianfeng Jiang	c7383ef23d	Check OSDK crate when running make check	2024-03-22 10:39:23 +08:00
Jianfeng Jiang	aaf101a53e	Supporting running OSDK commands in workspace root	2024-03-22 10:39:23 +08:00
Zhang Junyang	7eac2772d0	Gone with x86_64-custom	2024-02-28 16:30:48 +08:00
Zhang Junyang	674c35079c	Rename utils to util	2024-02-28 16:30:48 +08:00
Zhang Junyang	a685253a1a	Specify target dir for the base crate	2024-02-28 16:30:48 +08:00
Zhang Junyang	6694f08eac	Refactor CI and OSDK tests, add OSDK publish workflow	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