Skip to content
GitLab
Explore
Sign in
Sophie Quinton
rt-proofs
Repository
rt-proofs
model
basic
schedule.v
Find file
Blame
History
Permalink
Trivial fix: use proper processor type in cpu_idle def
· 47eb79c0
Björn Brandenburg
authored
Jul 17, 2016
47eb79c0