Hsy-Intel 3a6768ecb2 Add TDX support for OSDK test

2024-08-13 20:27:21 +08:00

..

work_in_workspace_templates

Rename aster_main as ostd::main

2024-06-27 15:45:49 +08:00

write_a_kernel_in_100_lines_templates

Refactor ostd::task::processor based on faster CPU-local cells

2024-08-08 19:21:03 +08:00

create_os_projects.rs

Fix the OSDK CI failure

2024-06-27 15:45:49 +08:00

mod.rs

Include the 100 lines kernel in CI

2024-06-28 20:22:12 +08:00

test_and_run_projects.rs

Add TDX support for OSDK test

2024-08-13 20:27:21 +08:00

work_in_workspace.rs

Add TDX support for OSDK test

2024-08-13 20:27:21 +08:00

write_a_kernel_in_100_lines.rs

Add TDX support for OSDK test

2024-08-13 20:27:21 +08:00