Merge branch 'master' of ssh://code.systems.ethz.ch:8006/diffusion/BFI/barrelfish
[barrelfish] / usr / drivers / cpuboot / x86boot.c
2016-07-26 Adam TurowskiMerge branch 'master' of ssh://code.systems.ethz.ch...
2016-07-26 Adam TurowskiAdjustments of IPC to match new convention (static...
2016-07-22 Reto Achermanncoreboot: using PRIuGENSIZE in print statements
2016-02-26 Simon GerberT191: x86_64: frame_identify returns size in bytes
2016-01-15 Gerd ZellwegerBugfix: Check monitor command line path.
2015-11-17 Moritz HoffmannT24: remove remaining SCC code
2015-06-22 Reto AchermannXeon Phi boot: moving control from monitor to xeon...
2014-12-14 Reto AchermannMerge remote-tracking branch 'origin/master' into shoal
2014-12-10 Gerd ZellwegerAdded binary perfix for corectrl.
2014-11-28 Reto Achermanncoreboot on the Xeon Phi:
2014-11-26 Reto AchermannMade cpuboot compile for the K1OM architecture.
2014-11-21 Gerd ZellwegerAdd k1om boot driver.
2014-11-21 Simon GerberFactored out IPI sending invocations to their own cap...
2014-11-21 Simon GerberReplaced get_global_paddr invocation with monitor RPC...
2014-11-21 Simon GerberReplaced raw invocation for cap_set_remote in boot...
2014-11-21 Gerd ZellwegerAdd required delays in x86boot to boot XeonPhi cores.
2014-11-11 Gerd ZellwegerMake sure it compiles on x86 again.
2014-11-11 Gerd ZellwegerRefactored code to boot arm into x86boot.
2014-11-11 Gerd ZellwegerStart on ARM boot driver.
2014-11-10 Gerd ZellwegerAdd support to identify KCB on 32bit and correctly...
2014-11-08 Gerd ZellwegerRemove unused code in cpuboot files.
2014-11-07 Gerd ZellwegerMake sure 32bit is booting kernels.
2014-11-07 Gerd ZellwegerStarting to add 32bit boot functionality.
2014-11-07 Gerd ZellwegerRemove dead code, make sure x86boot compiles on 32bit.
2014-11-05 Gerd ZellwegerRefactoring coreboot boot driver.
2014-10-21 Gerd ZellwegerRemove the KernelCmd_StopCore.
2014-10-14 Simon Gerberlast fixes for coreboot.
2014-10-14 Simon Gerbercpuboot: added detailed performance instrumentation.
2014-10-14 Gerd ZellwegerOption to specify monitor.
2014-10-14 Gerd ZellwegerRemove global var kcb.
2014-10-14 Gerd ZellwegerRefactoring of cpuboot.
2014-10-14 Gerd ZellwegerSeparating arch and arch idependent code.
2014-10-14 Simon GerberFixed "upwith" command.
2014-10-14 Simon GerberAdded preprocessor mechanism for toggling debug printfs...
2014-10-14 Gerd Zellwegerx86boot upwith command, give existing KCB to a new...
2014-10-14 Gerd ZellwegerBoot cores using Kaluga again.
2014-10-14 Gerd ZellwegerEnable watch_for_cores in kaluga.
2014-10-14 Simon GerberAdded code to make deferred events fairly accurate...
2014-10-14 Gerd ZellwegerRe-enable the caching.
2014-10-14 Gerd ZellwegerNo caching of bianries, no berakdown.
2014-10-14 Gerd ZellwegerRevert "Breakdown of x86boot."
2014-10-14 Gerd ZellwegerDisable caching of binaries in x86boot.
2014-10-14 Gerd ZellwegerRevert "Breakdown of lookup-module."
2014-10-14 Gerd ZellwegerBreakdown of lookup-module.
2014-10-14 Gerd ZellwegerBreakdown of x86boot.
2014-10-14 Gerd ZellwegerMeasure ticks inside kernel during update.
2014-10-14 Gerd ZellwegerBenchmarking x86boot portion of time.
2014-10-14 Gerd ZellwegerChanged take to not reboot target core.
2014-10-14 Gerd ZellwegerAdded functionality to stop core using IPIs.
2014-10-14 Gerd ZellwegerVersion for Benchmarking.
2014-10-14 Gerd ZellwegerFixed problem with urpc channel between monitor.
2014-10-14 Gerd ZellwegerUse core_id instead of 1 :-(
2014-10-14 Gerd ZellwegerRemove most of the printfs for debugging.
2014-10-14 Pravintrying to add a single command to which will reboot...
2014-10-14 Gerd ZellwegerMoving boot_core_request down again...
2014-10-14 Gerd Zellwegerup & down works again.
2014-10-14 Gerd Zellwegers/printf/DEBUG/
2014-10-14 Simon GerberFixed x86boot 'take' operation implementation.
2014-10-14 Simon GerberAdded moving kcb off shared cpu driver, currently crash...
2014-10-14 Gerd ZellwegerFix x86boot, for sending kcb we receive two messages.
2014-10-14 Gerd ZellwegerBoot core request, should fix cap not found error.
2014-10-14 Gerd Zellwegerx86boot can give kcb from a core to core 0.
2014-10-14 Gerd ZellwegerFix some code, able to do benchmarks.
2014-10-14 Gerd Zellwegerx86boot replace printfs with DEBUG macro.
2014-10-14 Gerd ZellwegerWorking on kaluga starting x86 boot drivers the right...
2014-10-14 Simon GerberAdded code to make it possible to switch between kernel...
2014-10-14 Simon GerberChanged kernel command line to include cpuname and...
2014-10-14 Gerd ZellwegerDebug output.
2014-10-14 Simon GerberMore verbose debug output.
2014-10-14 Gerd ZellwegerMake kcb 2**13 in size.
2014-10-14 Gerd ZellwegerConstruct a kcb in x86boot.
2014-10-14 Gerd ZellwegerConstruct kernel control blocks in x86boot.
2014-10-14 Gerd ZellwegerRemove unused code in x86boot.
2014-10-14 Gerd ZellwegerKeyboard working.
2014-10-14 Gerd ZellwegerTrying to figure out why APIC is no longer working
2014-10-14 Gerd ZellwegerCan halt/resume cores again using monitor/mwait.
2014-10-14 Gerd ZellwegerAdded functionality for resume.
2014-10-14 Gerd ZellwegerChange x86boot to power down cores.
2014-10-14 Gerd ZellwegerWorking on power-down over monitor.
2014-10-14 Gerd ZellwegerFix comments.
2014-10-14 Gerd ZellwegerAdd syscall to get phys address of struct global.
2014-10-14 Gerd ZellwegerRemove uncommented code.
2014-10-14 Gerd ZellwegerGet my_arch_id from monitor.
2014-10-14 Gerd ZellwegerChanged x86boot to use ramfs to load binaries.
2014-10-14 Gerd ZellwegerRemove some debug code, renamed function.
2014-10-14 Gerd ZellwegerRefactoring x86boot.
2014-10-14 Gerd ZellwegerFormatting, restructuring code. Remove dead code.
2014-10-14 Gerd ZellwegerMoving core boot from kernel into user-space.
2014-10-14 Gerd ZellwegerMoving kernel boot logic out of kernel.
2014-10-14 Gerd ZellwegerUse mm_realloc_range proxy call in x86boot.
2014-10-14 Gerd ZellwegerConnect to ACPI service
2014-10-14 Gerd ZellwegerWIP getting capability for real mode memory.
2014-10-14 Gerd ZellwegerChange boot_core_request / boot_core_reply.
2014-10-14 Gerd Zellwegerx86boot can boot a core now.
2013-11-14 Gerd ZellwegerAdding monitor code to CPU boot driver.