Logo
Explore Help
Sign In
Samuka007/asterinas
1
0
Fork 0
You've already forked asterinas
mirror of https://github.com/asterinas/asterinas.git synced 2025-06-28 03:43:23 +00:00
Code Issues Packages Projects Releases Wiki Activity
1,078 Commits 1 Branch 30 Tags
77b823edc0d1379dce166a7da9a7901cdbe86cc6
Commit Graph

15 Commits

Author SHA1 Message Date
Jianfeng Jiang
fe7251c413 Rename aster_main as ostd::main 2024-06-27 15:45:49 +08:00
Jianfeng Jiang
237c223b1c Update the aster-frame version used by OSDK 2024-06-24 11:11:43 +08:00
Ruihan Li
c06c1aa422 Fix bad ASTER_GIT_REV 2024-06-18 12:45:03 +08:00
Zhang Junyang
8e874e6a88 Let OSDK print source lines of the panic stack trace 2024-05-23 12:37:57 +08:00
Jianfeng Jiang
32b1fb3723 Fix OSDK CI bugs & Build OSDK with stable channel in CI 2024-05-23 12:32:25 +08:00
YanWQ-monad
ccc4e6ec6b Move whole kernel ELF to VMA 2024-05-15 21:31:09 +08:00
Zhang Junyang
57f4ed778d Update proper dep for builder in OSDK and allow publishing 2024-05-08 15:41:32 +08:00
Zhang Junyang
33c53dcf2b Overhaul OSDK 2024-04-25 09:44:46 +08:00
Zhang Junyang
6dec96c7e1 Respond to Cargo metadata format change 2024-04-01 20:17:48 +08:00
Jianfeng Jiang
223e8c2fe5 Update the asterinas version used by OSDK 2024-03-27 14:45:31 +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
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
16298008fc Fix Asterinas dependencies in OSDK 2024-02-28 17:34:27 +08:00
Zhang Junyang
674c35079c Rename utils to util 2024-02-28 16:30:48 +08:00
Powered by Gitea Version: 1.24.0 Page: 82ms Template: 8ms
English
Bahasa Indonesia Deutsch English Español Français Gaeilge Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API