2014-10-14 Gerd ZellwegerAdd dedicated trace events for benchmarking.
2014-10-14 Gerd ZellwegerTracing for capabilities.
2014-10-14 Gerd ZellwegerAdd TRACE macro to make writing trace_events less verbose.
2014-10-14 Gerd ZellwegerDisable autoflush in monitor.
2014-10-14 Gerd ZellwegerWorking on tracing.
2014-10-14 Simon GerberFixed benchmark.
2014-10-14 Simon GerberMinor changes.
2014-10-14 Gerd ZellwegerMemeasy benchmark.
2014-10-14 Gerd ZellwegerAdded memeasy benchmark.
2014-10-14 Gerd ZellwegerVersion used to benchmark the postgres.
2014-10-14 Gerd ZellwegerRevert "Waitset dispatching changed to blocking in...
2014-10-14 Simon GerberFixed "upwith" command.
2014-10-14 Simon GerberAdded preprocessor mechanism for toggling debug printfs...
2014-10-14 Gerd ZellwegerFix forgotten ;
2014-10-14 Gerd ZellwegerSane error handling for oct_leave.
2014-10-14 Gerd ZellwegerOnly send back somethign if binding looks valid.
2014-10-14 Gerd Zellwegerx86boot upwith command, give existing KCB to a new...
2014-10-14 Simon GerberUpdated kcb selection logic in send_user_interrupt...
2014-10-14 Gerd ZellwegerBoot cores using Kaluga again.
2014-10-14 Gerd ZellwegerEnable interrupt re-routing in e1000.
2014-10-14 Gerd ZellwegerEnable watch_for_cores in kaluga.
2014-10-14 Simon GerberFixed deferred events when migrating onto running cpu...
2014-10-14 Simon GerberAdded code to make deferred events fairly accurate...
2014-10-14 Simon GerberFixed various interrupt bits.
2014-10-14 Gerd ZellwegerMove IRQ for halt() to handle_irq.
2014-10-14 Gerd ZellwegerChange hellotest to report #ops/time.
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 ZellwegerBuild all benchmark programs at once.
2014-10-14 Gerd ZellwegerAdded functionality to stop core using IPIs.
2014-10-14 Gerd ZellwegerAssert that kcb is set.
2014-10-14 Gerd ZellwegerVersion for Benchmarking.
2014-10-14 Gerd ZellwegerInform other monitors of new monitor again.
2014-10-14 Simon GerberAdded current core_id so we can properly reroute interr...
2014-10-14 Gerd ZellwegerFixed problem with urpc channel between monitor.
2014-10-14 Gerd ZellwegerHellotest does call to monitor as well.
2014-10-14 Gerd ZellwegerImplemented give.
2014-10-14 Gerd ZellwegerGive KCB should work like this.
2014-10-14 Simon GerberAdded missing pieces for enabling moving kcbs with...
2014-10-14 Simon GerberAdded clearing of bsp kcb.
2014-10-14 Simon GerberFixed libbarrelfish modify_flags code to do correct...
2014-10-14 Simon GerberImplemented call chain for making interrupts movable.
2014-10-14 Simon GerberAdded modify_flags test. Fixed missing local_phys_to_me...
2014-10-14 Simon GerberMoved interrupt vector allocation into cpu driver.
2014-10-14 Simon GerberAdded test programs.
2014-10-14 Gerd ZellwegerUse core_id instead of 1 :-(
2014-10-14 Gerd ZellwegerDisable debugging in kaluga.
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 ZellwegerDebug print for accept calls.
2014-10-14 Gerd ZellwegerVerbose debug prints in select code.
2014-10-14 Gerd ZellwegerFix case where unpack_fds actually works.
2014-10-14 Gerd ZellwegerChanged debug print in posixcompat.
2014-10-14 Gerd ZellwegerAdded error check to bomp callback fn.
2014-10-14 Simon GerberFixed posixcompat_unpack_fds to not try to map an empty...
2014-10-14 Gerd ZellwegerDEBUG printfs in posixcompat.
2014-10-14 Gerd ZellwegerRemove debug print in monitor.
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 Zellwegers/rdtscp/rdtsc/
2014-10-14 Gerd Zellwegerup & down works again.
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 Gerd ZellwegerCreating a KCB for the BSP instead of having a static...
2014-10-14 Gerd ZellwegerDo tscperms calculations only once.
2014-10-14 Simon GerberBand-aid fix for IRQ 222 troubles we've had.
2014-10-14 Gerd Zellwegers/printf/DEBUG/
2014-10-14 Gerd ZellwegerHack to do skb_add_facts(corename... again in Kaluga.
2014-10-14 Simon GerberFixed x86boot 'take' operation implementation.
2014-10-14 Simon GerberAdded missing function.
2014-10-14 Simon GerberAdded moving kcb off shared cpu driver, currently crash...
2014-10-14 Simon GerberAdded home kcb which is used for interrupt handling.
2014-10-14 Simon GerberAdded invocation to remove kcb from kcb scheduling...
2014-10-14 Gerd ZellwegerChange hellotest to measure performance of a loop.
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 Simon GerberFixed caps_copy_to_cte to insert new cap after minting.
2014-10-14 Simon GerberVarious debugging and disabled mdb sanity checks.
2014-10-14 Simon GerberReverted kernel_add_kcb to take a kernel-local address...
2014-10-14 Gerd Zellwegerx86boot can give kcb from a core to core 0.
2014-10-14 Simon GerberMake kernel_add_kcb take a physical instead of a kernel...
2014-10-14 Simon GerberAdded switching of kcb on timer interrupt and added...
2014-10-14 Simon GerberRenamed kernel global kcb to kcb_current. Fixed wakeup...
2014-10-14 Simon GerberFixed save_suspend_resume.
2014-10-14 Simon GerberRemoved statically cached copies of scheduler data...
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 ZellwegerMake sure kaluga starts core the right way.
2014-10-14 Gerd ZellwegerAdded microbenchmarks for SIPI and INIT IPI.
2014-10-14 Gerd ZellwegerRemove debug output for IPIs.
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...