Closes T154: pmap, kernel: Add support for write-combining on ia32/64
[barrelfish] / kernel / arch / x86 / startup_x86.c
2015-08-13 Moritz HoffmannCloses T154: pmap, kernel: Add support for write-combin...
2015-06-19 Reto Achermannkernel: zeroing out new memory allocated by phys_alloc
2015-06-17 Moritz HoffmannT121: kernel: Make BSP KCB a proper capability on ARM
2015-06-16 Simon GerberT121: Create "real" BSP KCB cap for x86.
2014-12-14 Reto AchermannMerge remote-tracking branch 'origin/master' into shoal
2014-12-10 Gerd ZellwegerAdd BF_BINARY_PREFIX define to configure binary path...
2014-11-28 Reto Achermannseparating apic init and signalling boot core ready
2014-11-26 Simon GerberMerge branch 'master' into distops
2014-11-05 Gerd ZellwegerIntegrating coreboot for 32bit.
2014-11-04 Gerd ZellwegerRemove kernel boot-time benchmark code.
2014-11-04 Simon GerberMerge branch 'master' into master-into-distops
2014-11-04 Gerd ZellwegerMerge branch 'master' of
2014-10-29 Simon GerberMoved BIOS mmap cleanup to shared x86 code. Call from...
2014-10-20 Simon GerberMerge branch 'master' into master-into-distops
2014-10-15 Gerd ZellwegerMerge branch coreboot.
2014-10-14 Simon Gerberlast fixes for coreboot.
2014-10-14 Simon Gerbercpuboot: added detailed performance instrumentation.
2014-10-14 Gerd ZellwegerRevert "Breakdown of x86boot."
2014-10-14 Gerd ZellwegerBreakdown of x86boot.
2014-10-14 Gerd ZellwegerMeasure ticks inside kernel during update.
2014-10-14 Gerd ZellwegerVersion for Benchmarking.
2014-10-14 Simon GerberAdded current core_id so we can properly reroute interr...
2014-10-14 Simon GerberFixed x86boot 'take' operation implementation.
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 Simon GerberAdded code to make it possible to switch between kernel...
2014-10-14 Gerd ZellwegerRemove excessive debug output again in kernel.
2014-10-14 Simon GerberChanged kernel command line to include cpuname and...
2014-10-14 Gerd ZellwegerIncrease kernel loglevel after suspend.
2014-10-14 Gerd ZellwegerDebug output.
2014-10-14 Simon GerberMore verbose debug output.
2014-10-14 Simon GerberAdded more scheduler state to kcb.
2014-10-14 Simon GerberAdded kernel_now to kcb and fixed restoring of schedule...
2014-10-14 Gerd ZellwegerRemove assertion that triggers if next == NULL.
2014-10-14 Gerd ZellwegerDebugging information.
2014-10-14 Simon GerberAdded more debug output to restore.
2014-10-14 Simon GerberImplemented mdb restore iff valid kcb available. Moved...
2014-10-14 Gerd ZellwegerHardcoded kernel debugging.
2014-08-20 Reto AchermannMulticore support for the Xeon Phi
2014-08-20 Reto AchermannAdded architecture specific switches to the kernel...
2013-07-18 Simon GerberMerge master into distops.
2013-07-18 Mark NevillProperly set cap ownership when creating new caps in...
2013-03-19 Kornilios KourtisNew tracing infrastructure
2012-08-07 MothyDocumentation.
2012-01-11 Andrew Baumannclean up and add some flexbility to mapping of APIC...
2011-07-18 Andrew Baumannfixes to enable compilation with ICC
2011-07-08 Stefan KästleInitial version of public stable barrelfish repository.