Merge branch 'arrakis'
[barrelfish] / include / arch / x86_64 / barrelfish / invocations_arch.h
2015-08-14 Simon GerberMerge branch 'arrakis'
2015-06-16 Moritz HoffmannT119: kernel, spawnd, fish: Use dispatcher invocations...
2015-06-11 Simon GerberT77: Implement selective TLB flushing hint for modify_f...
2015-06-05 Simon GerberMerge of upstream arrakis code.
2014-11-26 Simon GerberMerge branch 'master' into distops
2014-11-21 Simon GerberFactored out IPI sending invocations to their own cap...
2014-11-05 Gerd ZellwegerRemove unneeded code in x86_64.
2014-10-14 Simon GerberMoved interrupt vector allocation into cpu driver.
2014-10-14 Gerd Zellwegerx86boot can give kcb from a core to core 0.
2013-12-19 Simon GerberMerge branch 'master' into master-into-distops
2013-10-02 Simon GerberRedesigned hw page table dumping to be an invocation...
2013-07-18 Simon GerberMerge master into distops.
2013-07-18 Mark NevillAdded invocations for distcap_get_state.
2013-01-29 Simon Gerberx86_64: Implemented modifying flags for parts of mapped...
2013-01-29 Simon Gerberx86: Added mapped capability in unmap syscall arguments.
2013-01-29 Simon GerberRemoved old syscall vm_modify_mapping.
2013-01-29 Simon GerberImplemented new VNode_Map syscall.
2013-01-29 Simon GerberAdded code to dump hardware page tables from user space.
2013-01-29 Simon GerberImplemented unmap with checks. Fixed unmap_region to...
2013-01-29 Simon GerberAdded vm_modify_mapping syscall on pmem capabilities...
2012-06-22 Raphael FuchsAdded ID capability, providing a system-wide unique ID.
2012-06-18 Raphael FuchsAdded ability to create certain capabilities at runtime...
2012-05-23 Mark NevillFixed some missing and circular includes.
2011-12-28 Zeus Gómez MarmolejoReplaced caddr_t type with capaddr_t to avoid conflict...
2011-08-02 Simon PeterMerge from ASPLOS tree.
2011-07-08 Stefan KästleInitial version of public stable barrelfish repository.