summaryrefslogtreecommitdiff
path: root/src/cpu/intel/model_6fx/Kconfig
AgeCommit message (Expand)Author
2012-07-02Use broadcast SIPI to startup siblingsSven Schnelle
2012-02-10Intel cpus: apply un-written naming rulesKyösti Mälkki
2010-04-13fix timer choice in Kconfig. HAVE_INIT_TIMER is selected correctly, no need toStefan Reinauer
2010-02-25HAVE_MOVNTI really means SSE2. Also add sfence in the MOVNTI case.Stefan Reinauer
2009-08-12Kconfig!Patrick Georgi