More debugging for VMs.
[akaros.git] / kern / arch / x86 / arch.h
2014-01-31 Ronald G. MinnichAdd a function to return vendor_id string
2014-01-17 Ronald G. MinnichThings now compile and link.
2013-07-19 Barret Rhodenx86: fast core_id() option
2013-07-19 Barret Rhodenx86: fixes early core_id() calls
2013-07-19 Barret Rhodenx86: fixes read_tsc_serialized()
2013-06-12 Barret RhodenSplits x86 into 32 and 64 bit (XCC)
2013-06-07 Barret RhodenChanges ARCH i686 -> x86 (XCC)