Sockeye: Start implementing port checks
[barrelfish] / capabilities /
2016-12-14 Simon Gerbercapabilities: make mapping caps size 1 (from 0) so...
2016-10-14 Lukas HumbelIRQ: Allow retyping of IRQSrc capability
2016-10-14 Lukas HumbelIRQ: Add range to IRQSrc cap
2016-10-13 Moritz HoffmannT306: Rename defined cap constants. Introduce CNode...
2016-10-11 Moritz HoffmannRemoved unused cap type Notify_RCK.
2016-10-11 Moritz HoffmannT306: Rename mapping.frame to mapping.cap
2016-10-11 Moritz HoffmannT306: Change cap definitions to use inheritance mechanism.
2016-09-27 Moritz HoffmannT291: Implement offset in mapping capabilities.
2016-08-15 Simon GerberT243: capability types and kernel code now accurately...
2016-08-05 Simon GerberMerge branch 'caps_next'
2016-08-05 Simon GerberT258: Delete GPT cspace functionality and rename new...
2016-07-29 Lukas HumbelIRQ: use uint64_t everywhere for int numbers, renamed...
2016-07-04 Simon GerberT264: Add L1 and L2 CNode cap types
2016-06-15 Moritz Hoffmannaarch64: Use VNode_AARCH64_l0 as initial page table...
2016-06-13 Moritz HoffmannMerge branch 'master' into tmas
2016-06-03 Moritz Hoffmanncaps: Add VNode_AARCH64_l0 and VNode_AARCH64_l0_Mapping...
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: Now using (again) a table of ep caps for dispatch...
2016-04-06 Lukas HumbelIRQ: added IRQVector cap
2016-04-06 Lukas HumbelIRQ: work in progress on receiving side
2016-04-06 Lukas HumbelIRQ: cap stubs
2016-02-26 Simon GerberT191: change PhysAddr, RAM, Frame, DevFrame and VNode_...
2016-02-08 Moritz Hoffmannhamlet, kpi types, caps: add pasid type
2016-02-05 Simon GerberAdd Physical ASID field to PhysAddr, RAM, Frame and...
2015-11-23 Simon GerberT187: reorder CNode fields to not generate unaligned...
2015-11-17 Simon GerberT187: x86_64: squash capability size to 64 bytes
2015-11-17 Simon GerberT187: Add Mapping cap types
2015-11-16 David CockClean merge of HP's ARMv8 code
2014-11-21 Simon GerberFactored out IPI sending invocations to their own cap...
2014-10-14 Gerd ZellwegerMake sure KCb has correct size.
2014-10-14 Gerd ZellwegerMake kcb 2**13 in size.
2014-10-14 Simon GerberAdded capability type and struct definition for kcb...
2013-01-29 Simon GerberChanged cte size to 128 bytes.
2012-06-22 Raphael FuchsAdded ID capability, providing a system-wide unique ID.
2012-02-08 Mark NevillMerged MDB rewrite.
2012-01-24 Mark NevillFixed remaining uint8 core_id in FCNode definition.
2012-01-23 Andrew Baumannremove support for Beehive
2012-01-23 Mark NevillAdded coreid type.
2012-01-20 Mark NevillAdded comment on CNode address property.
2012-01-20 Mark NevillEnforce ordering of caps.
2012-01-20 Mark NevillMade cap size optional.
2012-01-19 Mark NevillUpdated caps.hl for new hamlet.
2011-08-02 Simon PeterMerge from ASPLOS tree.
2011-07-08 Stefan KästleInitial version of public stable barrelfish repository.