Fixup of some headers.
[barrelfish] / kernel / arch / x86_64 / syscall.c
2017-09-26 Adam TurowskiFixup of some headers.
2016-11-28 Adam Turowskisystime: introducing system time based on time stamp...
2016-11-10 Simon Gerberx86_64: kernel: fix handle_vnode_identify to not do...
2016-11-01 Lukas HumbelMake debug_my_cspace work with new CSpace layout
2016-10-31 Adam Turowskinetwork: replacing the continuation manager with simple...
2016-10-14 Lukas HumbelIRQ: Add range to IRQSrc cap
2016-08-05 Simon GerberMerge branch 'caps_next'
2016-08-05 Simon GerberT258: Delete GPT cspace functionality and rename new...
2016-08-02 Simon GerberT276: Fix monitor revoke check to check for overlapping...
2016-07-29 Simon GerberT274: Fix remote retype
2016-07-29 Lukas HumbelIRQ: use uint64_t everywhere for int numbers, renamed...
2016-07-27 Simon GerberT266: Resizing root cnode enabled for libmm slot allocator
2016-07-25 Simon GerberT273: x86_64: monitor invocation handlers: rename vbits...
2016-07-25 Simon GerberT273: fix monitor_retype and adjust arguments in direct...
2016-07-25 Simon GerberT258: x86_64: change dispatcher_setup_guest, trace_setu...
2016-07-25 Simon GerberT273: x86_64: distributed capability operations updated...
2016-07-25 Simon Gerberkernel,x86_64: move handle_map to where it should be...
2016-07-22 Simon GerberT258, T264, T270: Implement two-level cspace layout...
2016-07-04 Simon GerberT264: Add NYI handler for L1/L2 CNode invocations
2016-06-22 Simon GerberT255: kernel cap invocation and monitor RPC to discover...
2016-06-16 Simon Gerberkernel: x86_64: set dcb_current->disabled correctly...
2016-04-29 Simon GerberT191: x86_64: refactor retype2 back to retype
2016-04-20 Simon GerberT191: remove old caps_retype() code from kernel
2016-04-20 Simon GerberT191: add warning about use of old retype
2016-04-20 Simon GerberT191: update monitor capops retype
2016-04-19 Simon GerberT191: comment arg dumping for retype2 and add comment...
2016-04-18 Simon GerberImplement identify command for ObjType_RAM
2016-04-18 Simon GerberT191: fix wrong command in invoke_cnode_retype2, and...
2016-04-18 Simon GerberT191: Implement prototype for new retype
2016-04-18 Simon GerberSquashed changes of e89aa91..6ca6bdf (master as of...
2016-04-06 Lukas HumbelIRQ: refactoring caps names
2016-04-06 Lukas HumbelIRQ: added irq source capability and make the inthandle...
2016-04-06 Lukas HumbelIRQ: Making the code actually work. ACPI interface
2016-04-06 Lukas HumbelIRQ: work in progress on receiving side
2016-04-06 Lukas HumbelIRQ: Started on the local/driver side. Not a working...
2016-04-06 Lukas HumbelIRQ: cap stubs
2016-02-26 Simon GerberT191: x86_64: frame_identify returns size in bytes
2016-02-26 Simon GerberT191: change PhysAddr, RAM, Frame, DevFrame and VNode_...
2015-11-23 Simon GerberT187: change vnode_unmap() to only take ptable and...
2015-11-23 Simon GerberT187: Implement modify_flags() on mapping cap
2015-11-17 Simon GerberT187: x86_64: squash capability size to 64 bytes
2015-11-17 Simon GerberT187: kernel: add mapping cap commands (NYI)
2015-11-17 Simon GerberT187: kernel unmarshalling of mapping cap slot
2015-08-20 Reto Achermannkernel: SYS_ERR_VMKIT_UNAVAIL on VM syscalls on Xeon Phi
2015-08-14 Simon GerberFix arrakis merge errors
2015-08-14 Simon GerberMerge branch 'arrakis'
2015-06-16 Moritz HoffmannT119: kernel, spawn, libbarrelfish, fish: Remove DEBUG_...
2015-06-16 Moritz HoffmannT119: kernel, spawnd, fish: Use dispatcher invocations...
2015-06-16 Moritz HoffmannT119: kernel: Unify debug_print_capabilities in sys_debug.c
2015-06-16 Moritz HoffmannT119: implement syscall and monitor interface to debug_...
2015-06-11 Simon GerberT77: Implement selective TLB flushing hint for modify_f...
2015-06-05 Simon GerberMerge of upstream arrakis code.
2015-03-09 Simon Gerberkernel: x86_64: fix error passthrough in modify_flags.
2015-03-09 Simon GerberAdd get_absolute_time() syscall + implement std::chrono...
2015-01-12 Reto AchermannMerge commit '68aa7c3'
2014-12-18 Gerd Zellweger[clang] Fixes for the clang compiler.
2014-12-14 Reto AchermannMerge remote-tracking branch 'origin/master' into shoal
2014-12-05 Reto AchermannMerge remote-tracking branch 'origin/master' into shoal
2014-12-03 Simon GerberMerge branch 'master' into distops
2014-11-27 Timothy RoscoeEnsure all Mackerel files are included explicitly from...
2014-11-26 Simon GerberMerge branch 'master' into distops
2014-11-26 Reto AchermannCleanup of Xeon Phi Kernel:
2014-11-21 Simon GerberFactored out IPI sending invocations to their own cap...
2014-11-11 Gerd ZellwegerRemove unneeded code.
2014-11-11 Gerd ZellwegerMake sure it compiles on x86 again.
2014-11-11 Gerd ZellwegerBoot driver for ARM can now boot a pandaboard core.
2014-11-10 Gerd ZellwegerPut KCB syscalls in platform independent kernel source.
2014-11-10 Gerd ZellwegerMove boot-up assembly to usr/drivers.
2014-11-05 Gerd ZellwegerRemove unneeded code in x86_64.
2014-10-31 Gerd ZellwegerRemove no longer necessary assertion and print.
2014-10-31 Gerd ZellwegerRefactor kcb add/remove function in kernel.
2014-10-21 Gerd ZellwegerRemove the KernelCmd_StopCore.
2014-10-20 Simon GerberMerge branch 'master' into master-into-distops
2014-10-15 Gerd ZellwegerMerge branch coreboot.
2014-10-14 Simon GerberChanges to make benchmarks work.
2014-10-14 Gerd ZellwegerWarning to pleco file added.
2014-10-14 Simon GerberFixed deferred events when migrating onto running cpu...
2014-10-14 Simon GerberAdded current core_id so we can properly reroute interr...
2014-10-14 Simon GerberImplemented call chain for making interrupts movable.
2014-10-14 Simon GerberMoved interrupt vector allocation into cpu driver.
2014-10-14 Simon GerberAdded moving kcb off shared cpu driver, currently crash...
2014-10-14 Simon GerberAdded invocation to remove kcb from kcb scheduling...
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 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 Gerd ZellwegerFix some code, able to do benchmarks.
2014-10-14 Gerd ZellwegerUsing sys_suspend syscall to halt a core and resume...
2014-10-14 Gerd ZellwegerUse monitor/mwait function that were already there
2014-10-14 Simon GerberImplemented FrameCmd_Identify for kcb.
2014-10-14 Gerd ZellwegerEnable monitor/mwait.
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 ZellwegerTry monitor/mwait in kernel.
2014-10-14 Gerd ZellwegerAdd syscall to get phys address of struct global.
2014-10-14 Gerd ZellwegerRemove trailing whitespace.
2014-10-14 Gerd ZellwegerAdded Syscalls for startup ipi and init ipi.
2014-03-25 Simon Gerbermonitor: removed unused monitor_identify_cnode_get_cap.
2014-02-28 Simon PeterThe Arrakis backport to Barrelfish.
next