9 Commits

Author	SHA1	Message	Date
Zhang Junyang	8910af1294	Update grub to 2.12-rc1 for efi bugfix	2023-10-26 12:05:12 +08:00
Zhang Junyang	cdc2b960dc	Switch to EFI boot and use official release for QEMU and GDB	2023-10-12 14:38:36 -05:00
Zhang Junyang	7d5295ab25	Refactor build system, boot and added Linux Boot facilities	2023-10-12 14:38:36 -05:00
Zhang Junyang	602c0e30fe	Add version bumping mechanism	2023-08-14 10:45:01 +08:00
Zhang Junyang	e7d1437fca	Build Docker image with CI	2023-08-14 10:45:01 +08:00
LI Qing	079b139298	Add prepared syscall test in docker container	2023-08-10 10:14:18 +08:00
Jianfeng Jiang	04db7c8c3d	Update rust version in docker image	2023-08-08 21:42:31 +08:00
Zhang Junyang	d407d85e70	Adapt Docker environment and minor fixes	2023-07-24 16:31:38 +08:00
Jianfeng Jiang	9137ef434f	Use docker as dev environment	2023-07-19 11:28:31 +08:00