Closes T154: pmap, kernel: Add support for write-combining on ia32/64
[barrelfish] / kernel / arch / x86_64 / init.c
2015-08-13 Moritz HoffmannCloses T154: pmap, kernel: Add support for write-combin...
2015-06-16 Simon GerberT121: Create "real" BSP KCB cap for x86.
2014-12-04 Reto Achermannmoved apic init() before the printf of the barrelfish...
2014-11-27 Reto Achermannmoved apic init() before the printf of the barrelfish...
2014-11-25 Gerd ZellwegerMake sure Barrelfish CPU driver starting comes before...
2014-11-10 Gerd ZellwegerMove boot-up assembly to usr/drivers.
2014-11-08 Gerd ZellwegerReinstantiate printing of kernel start address.
2014-11-05 Gerd ZellwegerRemove unneeded code in x86_64.
2014-11-04 Gerd ZellwegerRemove kernel boot-time benchmark code.
2014-10-14 Gerd ZellwegerCleanup code.
2014-10-14 Gerd ZellwegerMeasure ticks inside kernel during update.
2014-10-14 Gerd ZellwegerVersion for Benchmarking.
2014-10-14 Simon GerberAdded clearing of bsp kcb.
2014-10-14 Gerd ZellwegerRemove debug tscs and add barrelfish boot msg again.
2014-10-14 Gerd ZellwegerRemove most of the printfs for debugging.
2014-10-14 Gerd Zellwegers/rdtscp/rdtsc/
2014-10-14 Gerd ZellwegerRevert "[HACK] changes some measurements and makes...
2014-10-14 Gerd Zellweger[HACK] changes some measurements and makes code compile.
2014-10-14 Simon GerberAdded home kcb which is used for interrupt handling.
2014-10-14 Gerd Zellwegerx86boot can give kcb from a core to core 0.
2014-10-14 Simon GerberRenamed kernel global kcb to kcb_current. Fixed wakeup...
2014-10-14 Gerd ZellwegerFix some code, able to do benchmarks.
2014-10-14 Gerd ZellwegerDebug output.
2014-10-14 Gerd ZellwegerKernel control block passed to app kernels and set.
2014-10-14 Gerd ZellwegerUse monitor/mwait function that were already there
2014-10-14 Gerd ZellwegerCleaning up the serial init on x86.
2014-10-14 Gerd ZellwegerKeyboard working.
2014-10-14 Gerd ZellwegerPrint message if monitor/mwait is not supported.
2013-11-14 Gerd ZellwegerIncrease check for module_end from 4MB to 4GB.
2013-10-24 Gerd ZellwegerRefactoring core boot-up logic in kernel.
2012-08-09 MothyRemoved some redundant (identical) files.
2012-08-06 MothyNew serial interface inside the CPU driver.
2012-01-11 Andrew Baumannclean up and add some flexbility to mapping of APIC...
2011-12-12 MothyMackerel now allows "noaddr" registers, which can model...
2011-11-09 Kornilios Kourtisadd support for one-shot timers
2011-08-02 Simon PeterMerge from ASPLOS tree.
2011-07-08 Stefan KästleInitial version of public stable barrelfish repository.