search

LearningOS / rCore-Tutorial-Guide-2024S

GNU General Public License v3.0
4 stars 3 forks source link

Fix SBI_SET_TIMER with latest rustsbi #7

Closed ouuan closed 6 months ago

ouuan commented 6 months ago

https://github.com/rustsbi/rustsbi/blob/6e15db04fea6f44a16251b56beea2faa289b2221/sbi-spec/src/time.rs#L1