T191: Implement prototype for new retype
[barrelfish] / kernel / include / capabilities.h
2016-04-18 Simon GerberT191: Implement prototype for new retype
2015-11-23 Simon Gerberkernel: 32bit: fix capability tracing
2015-11-23 Simon GerberT187: paging_generic: fix unmap_capability()
2015-11-23 Simon GerberT187: change vnode_unmap() to only take ptable and...
2015-11-17 Simon GerberT187: x86_64: squash capability size to 64 bytes
2015-11-17 Simon GerberT187: Remove mapping_info and rewrite code that depende...
2015-11-17 Simon GerberT187: kernel unmarshalling of mapping cap slot
2015-11-17 Simon GerberT187: Add Mapping cap types
2015-11-16 David CockClean merge of HP's ARMv8 code
2015-09-21 Simon Gerberlibbarrelfish: provide list of ORed ObjType_s for cap...
2015-06-16 Moritz HoffmannT119: kernel, spawn, libbarrelfish, fish: Remove DEBUG_...
2015-06-16 Moritz HoffmannT119: work in progress, use mdb tree call-back function...
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-03-09 Simon Gerberkernel: Fix and deduplicate cte_for_cap().
2014-11-26 Simon GerberMerge branch 'master' into distops
2014-11-21 Simon GerberRemoved function declearations for non-existant functions.
2014-10-31 Simon Gerberpmem tracing: make default enable types to trace all...
2014-03-28 Simon Gerberarmv7: fixed stuff and added missing invocation handlers.
2014-03-27 Simon Gerberarmv7: compiles.
2014-03-18 Simon Gerberfixed stuff + more output.
2014-03-17 Simon GerberAdded forwarding of free'd ram to core 0 + more debug...
2013-07-31 Simon GerberAdded debug syscall & Config.hs variable for physmem...
2013-07-18 Simon GerberFixed merge errors in kernel/include/capabilities.h
2013-07-18 Simon GerberMerge master into distops.
2013-07-18 Mark NevillImplemented monitor_delete_foreign invocation.
2013-07-18 Mark NevillRewrote distributed revoke and delete handling.
2013-07-18 Mark NevillDisabled kernel mem cap tracing.
2013-07-18 Mark NevillAdded message argument to cap tracing to ease debugging.
2013-07-18 Mark NevillHandle NULL cte in TRACE_CAP macro.
2013-07-18 Mark NevillAdded basic framework for tracing in-kernel cap operati...
2013-07-18 Mark NevillMade caps_try_delete static in cap_delete.c as it has...
2013-07-18 Mark NevillProperly set cap ownership when creating new caps in...
2013-07-18 Mark NevillIntegrated delete & revoke handling.
2013-07-18 Mark NevillIntegrated capops with monitor_cap_create.
2013-07-18 Mark NevillAdded distcap state to struct cte in kernel.
2013-01-30 Simon Gerberarmv5: implemented new modify_flags invocation.
2013-01-29 Simon Gerberx86_64: Implemented modifying flags for parts of mapped...
2013-01-29 Simon GerberCleanup function names and converted printfs to debug...
2013-01-29 Simon Gerberx86: Added mapped capability in unmap syscall arguments.
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 GerberAdded unmap on cap_delete for pmem capabilities.
2013-01-29 Simon GerberImplemented unmap with checks. Fixed unmap_region to...
2013-01-29 Simon GerberAdded struct mapping_info to struct cte. Implemented...
2012-02-22 Kornilios Kourtismerge with main tree
2012-01-25 Mark NevillAdapt existing mdb functions in kernel to use new tree.
2012-01-12 Mark NevillMoved mdb errors into errno.fugu, split headers.
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.