barrelfish
2014-11-21 Simon GerberAdded initialization for schedsim kcb.
2014-11-21 Simon GerberFixed rbed scheduler code to still work in schedsim.
2014-11-21 Gerd ZellwegerDisplay core count in the benchmark.
2014-11-21 Gerd ZellwegerReturn number of instance spawned in spawn_on_all_cores.
2014-11-21 Gerd ZellwegerRemove dead code.
2014-11-21 Gerd ZellwegerMove oct_parse_names and oct_free_names to parser library.
2014-11-21 Gerd ZellwegerChange spawn_program_on_all_cores implementation.
2014-11-21 Gerd ZellwegerRemove old code.
2014-11-21 Gerd ZellwegerAdd k1om boot driver.
2014-11-21 Simon GerberAdded missing include in usr/monitor/inter.c
2014-11-21 Simon GerberFixed usage of kernel cap in armboot. Using IPICmd_Send...
2014-11-21 Simon GerberMake kernel create IPI cap which is passed to monitor.
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 Simon GerberRemoved function declearations for non-existant functions.
2014-11-21 Gerd ZellwegerAdd required delays in x86boot to boot XeonPhi cores.
2014-11-21 Gerd ZellwegerFix spantest and ump_bench by making sure all_spawnd_up...
2014-11-20 Gerd ZellwegerMerge with local master.
2014-11-20 Gerd ZellwegerMerge branch 'master' of hg.systems.ethz.ch:barrelfish
2014-11-19 Simon GerberUpdated README to reflect changes to toolchain and... release2014-11-19
2014-11-19 Simon GerberUpdated ARM targets to build with Ubuntu ARM gcc.
2014-11-19 Simon GerberAdded octopus rpcclient defs to lib/spawndomain.
2014-11-19 Simon GerberFixed ETH nfs exports.
2014-11-18 Simon GerberWorkaround for perfmon_amd_supported() causing page...
2014-11-18 Wang NanMake hake and mackerel compile with ghc 7.6.
2014-11-11 Gerd ZellwegerRemove debug print in mem_alloc.
2014-11-11 Gerd ZellwegerRemove unneeded code.
2014-11-11 Gerd ZellwegerRemove no longer needed code.
2014-11-11 Gerd ZellwegerRename x86boot/armboot -> corectrl.
2014-11-11 Gerd ZellwegerRemove debug print.
2014-11-11 Gerd ZellwegerMake sure it compiles on x86 again.
2014-11-11 Gerd ZellwegerRemove file twice that is duplicated 3x.
2014-11-11 Gerd ZellwegerBoot driver for ARM can now boot a pandaboard core.
2014-11-11 Gerd ZellwegerAdded armboot to pandaboard.
2014-11-11 Gerd ZellwegerAdded cap_invoke macros for ARM.
2014-11-11 Gerd ZellwegerRemove no longer needed message handlers.
2014-11-11 Gerd ZellwegerRefactored code to boot arm into x86boot.
2014-11-11 Gerd ZellwegerRevert "Fix mem_alloc required bits. (TODO: figure...
2014-11-11 Simon GerberFixed bomp ft benchmark.
2014-11-11 Simon GerberCleaned up page cn and physaddr cn creation code.
2014-11-11 Gerd ZellwegerRemove no longer needed code.
2014-11-11 Gerd ZellwegerStart on ARM boot driver.
2014-11-10 Gerd ZellwegerAdd dummy all_spawnds_up for ARM kaluga.
2014-11-10 Gerd ZellwegerFix mem_alloc required bits. (TODO: figure out why...
2014-11-10 Gerd ZellwegerInitialize bsp KCB on ARM.
2014-11-10 Gerd ZellwegerFix shadow of index variable.
2014-11-10 Gerd ZellwegerMake sure ARM kernels are working agian.
2014-11-10 Gerd ZellwegerPut KCB syscalls in platform independent kernel source.
2014-11-10 Gerd ZellwegerAdd support to identify KCB on 32bit and correctly...
2014-11-10 Gerd ZellwegerAdd x86boot to 32bit menu.lst
2014-11-10 Gerd ZellwegerRemove unused header.
2014-11-10 Gerd ZellwegerMove boot-up assembly to usr/drivers.
2014-11-10 Gerd ZellwegerNo longer shadow index variable.
2014-11-10 Gerd ZellwegerRemove unused hgignore and tags.
2014-11-10 Gerd ZellwegerRemmove bo longer used code.
2014-11-08 Gerd ZellwegerRemove unused code in cpuboot files.
2014-11-08 Gerd ZellwegerReinstantiate printing of kernel start address.
2014-11-07 Gerd ZellwegerDisable debug.
2014-11-07 Gerd ZellwegerMake sure 32bit is booting kernels.
2014-11-07 Gerd ZellwegerStarting to add 32bit boot functionality.
2014-11-07 Gerd ZellwegerFix invocations, added missing syscall handler
2014-11-07 Stefan KaestleIncreased boot timeout for cores
2014-11-07 Gerd ZellwegerBoot generic CPU type in x86boot.
2014-11-07 Simon Gerberhake: Fixed code that merges static libraries to not...
2014-11-07 Gerd ZellwegerAdd KCB to 32bit IRQ code.
2014-11-07 Gerd ZellwegerAdd proper error codes for failes IRQ cap invocations.
2014-11-07 Gerd ZellwegerRemove dead code, make sure x86boot compiles on 32bit.
2014-11-07 Gerd ZellwegerAdded cap_invoke macros to x86-32 bit architecture.
2014-11-07 Gerd ZellwegerAdd x86boot to 32-bit default builds.
2014-11-05 Gerd ZellwegerRefactoring coreboot boot driver.
2014-11-05 Gerd ZellwegerIntegrating coreboot for 32bit.
2014-11-05 Gerd ZellwegerRemove unneeded code in x86_64.
2014-11-04 Gerd ZellwegerRemove ancient compiler overrides due to bugs.
2014-11-04 Gerd ZellwegerRemove kernel boot-time benchmark code.
2014-11-04 Gerd ZellwegerMerge branch 'master' of hg.systems.ethz.ch:barrelfish...
2014-11-04 Gerd ZellwegerIgnore running over maxbusnum for now. release2014-11-06
2014-11-04 Gerd ZellwegerFix ACPI debug statements.
2014-11-04 Gerd ZellwegerMerge branch 'master' of hg.systems.ethz.ch:barrelfish
2014-10-31 Gerd ZellwegerFix webserver timeout.
2014-10-31 Gerd ZellwegerRevert printf augmentation with core id.
2014-10-31 Gerd ZellwegerRemove print statement in rbed.
2014-10-31 Gerd ZellwegerFactor process_data function in base class.
2014-10-31 Gerd ZellwegerMake sure test for parking/moving back works.
2014-10-31 Gerd ZellwegerClean-up CLI interface.
2014-10-31 Gerd ZellwegerRemove no longer necessary assertion and print.
2014-10-31 Gerd ZellwegerAdd case for kcb_current == to_remove.
2014-10-31 Gerd ZellwegerRefactor kcb add/remove function in kernel.
2014-10-31 Gerd ZellwegerRename s/take/rmkcb/
2014-10-31 Gerd ZellwegerFix ParkReboot testcase.
2014-10-31 Gerd ZellwegerAdded new test for parking and moving back OSNode.
2014-10-31 Gerd ZellwegerFix webserver timeout.
2014-10-30 Simon Gerberacpi quickfix for boot issues on our SB and Haswell...
2014-10-29 Simon GerberMoved BIOS mmap cleanup to shared x86 code. Call from...
2014-10-29 Simon Gerberacpi: fixed debugging messages format strings for 32bit.
2014-10-27 Gerd ZellwegerRename tests, wait on correct output.
2014-10-27 Gerd ZellwegerUse correct serial portbase and IRQ for tomme.
2014-10-27 Gerd ZellwegerDo BIOS allocation plan for tomme1/2 as well.
2014-10-27 Gerd ZellwegerFix merge.
2014-10-27 Gerd ZellwegerUpdated gitignore.
next