barrelfish
2014-11-28 Gerd ZellwegerRenamed the 32bit variants as well. release2014-12-01
2014-11-28 Gerd ZellwegerChange machine names to uniform naming.
2014-11-28 Gerd ZellwegerCaching the kernel and monitor binary on booting cores.
2014-11-27 Reto Achermannbugfix: argc count for the CPU parameter was not increa...
2014-11-27 Timothy RoscoeRemoved extra include path element (/include/dev) from...
2014-11-27 Timothy RoscoeEnsure all Mackerel files are included explicitly from...
2014-11-27 Timothy RoscoeFixed bogus Mercurial dependency in the Spec technical...
2014-11-26 Gerd ZellwegerExtend scope of barrelfish_id_s, so other stack element...
2014-11-26 Gerd ZellwegerAPIC IDs passed to corectrl are no longer hex values.
2014-11-26 Gerd ZellwegerDo not pass barrelfish_id as hex argument.
2014-11-26 Gerd ZellwegerDisable debugging.
2014-11-26 Gerd ZellwegerFix printf's remove dead code.
2014-11-26 Gerd ZellwegerFix incorrect malloc usage that freezes kaluga.
2014-11-26 Gerd ZellwegerMake sure ACPI debug compiles again.
2014-11-26 Gerd ZellwegerPass custom kernel arguments to corectrl if they exist...
2014-11-26 Simon GerberMoved periodicprint app from tests/hellotest to it...
2014-11-26 Simon Gerbercpuboot: moved errval_t out of __x86__ define.
2014-11-26 Timothy RoscoeMerge ssh://code.systems.ethz.ch:8006/diffusion/BFI...
2014-11-26 Simon GerberFixed core id mixup in park_boot test.
2014-11-26 Timothy RoscoeFixed shadowed local variables, and added missing THC...
2014-11-26 Timothy RoscoeRemoved shadowed local variable err
2014-11-26 Simon GerberAdded bench_tsc_per_* functions for arm.
2014-11-26 Simon GerberImproved interactive test framework and improved corebo...
2014-11-26 Timothy RoscoeMerge ssh://code.systems.ethz.ch:8006/diffusion/BFI...
2014-11-25 Simon GerberModified gem5 machine to use telnetlib instead of subpr...
2014-11-25 Gerd ZellwegerMake sure Barrelfish CPU driver starting comes before...
2014-11-25 Gerd ZellwegerMake sure we can boot a core on ARMv7 gem5 again.
2014-11-25 Timothy RoscoeMerge branch 'master' of ssh://git.systems.ethz.ch...
2014-11-25 Timothy RoscoeFixed octopus dependency problem
2014-11-25 Gerd ZellwegerUpdate gem5 build to use corectrl instead of spawnd.
2014-11-25 Gerd ZellwegerUpdated .gitignore.
2014-11-24 Simon Gerberarm: Fixed printf format in fatal_kernel_fault handler.
2014-11-24 Simon Gerberarm_gem5: Added missing symbol relocation for kcb_current.
2014-11-24 Simon Gerberarm: Fixed calculation of ELF addrs for kernel PC values
2014-11-22 Gerd ZellwegerRevert to Linux ARM compiler.
2014-11-22 Gerd ZellwegerARMv7 GEM5 compiles again.
2014-11-22 Gerd ZellwegerCompile armv5 and runs memtest on Qemu.
2014-11-22 Gerd ZellwegerCompile code for ARM.
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
next