Hsy-Intel

`make build` causes `ERROR 403: rate limit exceeded.`

1

Seems that the error `ERROR 403: rate limit exceeded.` may occur when building kernel. Do we have any good solutions? ```shell root@azpvdrefgpu02:~/asterinas# make build Cloning into '.'... remote: Enumerating objects:...

1. Optimize the generate TDX report ioctl to solve the address alignment problem. 2. Implement generate TDX quote ioctl. 3. Add generate TDX quote example.

Using the ls command after executing TDX get quote will cause the OS to hang.

3

The OS hangs when using the `ls` command and then using `cat` to display binary files. ```shell ~ # ls quote.dat report.dat tdx_attest ~ # cat quote.dat ``` After using...

Osdk with Intel TDX config not working.

1

The Intel TDX qemu configs are somewhat different from the default qemu configs, the qemu running command line: ```shell /usr/libexec/qemu-kvm -accel kvm -name process=tdxvm,debug-threads=on -m 8G -vga none -monitor pty...

TDX env (docs, docker and scripts) for Asterinas

1

Provide the docker env, docs and scripts that need to be configured for TDX host.

### Describe the bug In the TDX environment, for SMP support, we need to use `MultiprocessorWakeup` in ACPI MADT to wake up the AP. However, this situation is not handled...

### Describe the bug When performing syscall testing in the TDX environment, it will cause random abnormal exits. ### To Reproduce In TDX environment, run: ```shell make run AUTO_TEST=syscall INTEL_TDX=1...

### Documentation Section Aster book and Github README. ### Suggested Improvement Add `OSTD` intro in Github README and add the full name of `OSTD` in the aster book. ### Motivation...