Changes rdtsc serialization methods
[akaros.git] / kern / arch / i686 / arch.h
2013-03-14 Barret RhodenChanges rdtsc serialization methods
2013-03-11 Barret RhodenHandle rdtscp
2012-11-21 Barret Rhodenx86: send_ipi takes an OS coreid
2011-12-15 Barret Rhodenx86: Detection for RDFSBASE and friends
2011-11-03 Barret RhodenFixes race where we'd ignore a kmsg when halting
2011-11-03 Barret RhodenKernel static mappings grow down, APICs remapped
2011-11-03 Barret RhodenKernel debugging helpers
2011-11-03 Andrew WatermanFixed TLS on i386
2011-11-03 Andrew WatermanAdded icache flushing
2011-11-03 Kevin KluesMajor reorganization in prep for appserver merge