search

twizzler-operating-system / twizzler

The Twizzler Operating System
BSD 3-Clause "New" or "Revised" License
75 stars 16 forks source link

AMD support #17

Open dbittman opened 2 years ago

dbittman commented 2 years ago

The kernel currently assumes Intel x86_64 in a few places, namely:

  1. CPU topology derivation
  2. CPU boot procedure
  3. halt_and_wait
  4. TSC period derivation

It would be nice to generalize these for AMD support.