toolchain: set x86 as verification target and use `no_std` accross the project - #688

Merged

rikosellic merged 10 commits into

asterinas:mainfrom

rikosellic:sync-dv-and-fix-x86

Aug 4, 2026

Commits on Aug 3, 2026

toolchain: set x86 as verification target and disable `std` in `vstd_extra`
rikosellic
committed
8050584
fix
rikosellic
committed
f2c0eaf

Commits on Aug 4, 2026

fix
rikosellic
committed
34b9c87
Minor
rikosellic
committed
241fad9
suppress another warning
rikosellic
committed
396f391
Merge remote-tracking branch 'upstream/main' into sync-dv-and-fix-x86
rikosellic
committed
e9eb676
fix an error
rikosellic
committed
3902130
chore: restore the rlimit
Marsman1996
committed
662905e
Update dv
rikosellic
committed
57c396b
Merge branch 'sync-dv-and-fix-x86' of https://github.com/rikosellic/vostd into sync-dv-and-fix-x86
rikosellic
committed
0184cea