kernel: capabilities: wrap check_caps_create_arguments() in #ifndef NDEBUG because...
[barrelfish] / kernel / capabilities.c
2017-08-29 Simon Gerberkernel: capabilities: wrap check_caps_create_arguments...
2017-06-02 Simon Gerberkernel: caps_lookup_slot: fix edgecase for l1 index...
2016-12-14 Simon Gerberkernel: retype: more diagnostics on retype range checks
2016-10-18 Moritz Hoffmannkernel/capabilities: Use correct base field in sprint_c...
2016-10-14 Lukas HumbelIRQ: Allow retyping of IRQSrc capability
2016-10-13 Moritz HoffmannKernel/capabilities: Remove redundant size check from...
2016-10-13 Moritz HoffmannUse generated OBJSIZE_* constants instead of hard-coded...
2016-10-11 Moritz HoffmannRemoved unused cap type Notify_RCK.
2016-10-11 Moritz HoffmannT306: Rename mapping.frame to mapping.cap
2016-08-15 Simon GerberT243: Fix armv7 paging code and caps_retype() to proper...
2016-08-10 Simon GerberT258: caps_lookup_slot: return SYS_ERR_CNODE_NOT_FOUND...
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-29 Simon GerberT191: reduce verbosity in caps_retype()
2016-07-25 Simon GerberT273: x86_64: distributed capability operations updated...
2016-07-25 Simon GerberT272: armv7: implement two-level cspace layout
2016-07-22 Reto Achermannkernel/kpi: using PRIuGENSIZE in print statements
2016-07-22 Simon GerberT258, T264, T270: Implement two-level cspace layout...
2016-07-07 Moritz HoffmannMerge branch 'master' into tmas
2016-07-07 Simon GerberT258: Cleanup kernel virtual to ELF address translation
2016-07-07 Simon GerberT258: Remove whitelist of domains that can violate...
2016-07-06 Simon GerberT258: acpi: conform to two level cspace layout
2016-07-06 Simon GerberT258: Rewrite basecn slot allocator to conform to 2...
2016-07-06 Simon GerberT258: mem_serv uses 2 level preallocating slot allocator
2016-07-06 Simon GerberT258: caps_lookup_slot: ignore acpi when checking recur...
2016-07-06 Simon GerberT258: caps_lookup_slot: suppress multiple recursion...
2016-07-06 Simon GerberT258: Add printfs for caps_lookup_slot recursing more...
2016-07-04 Simon GerberT264: Add simple creation tests for L1/L2 CNodes
2016-07-04 Simon GerberT264: Allow caps_lookup_slot() to recurse into L1 CNode...
2016-07-04 Simon GerberT264: Implement caps_create() for L1/L2 CNodes.
2016-07-04 Simon GerberT264: Implement check_caps_create_arguments for L1...
2016-07-04 Simon GerberT264: Add L1 and L2 CNode cap types
2016-06-29 Simon GerberT263: Refactor retype() to allow object sizes < BASE_PA...
2016-06-28 Gerd Zellweger[Improvement] Added Kernel control block identification.
2016-06-28 Gerd Zellweger[Bug] Fix assertion to check struct kcb instead of...
2016-06-23 Moritz HoffmannMerge branch 'master' into tmas
2016-06-16 Simon Gerberkernel: x86_64: use get_address() instead of manually...
2016-06-16 David CockMerge branch 'armv7'
2016-06-15 Moritz Hoffmanncapabilities: Correct VNode_AARCH64_l0 cap creation.
2016-06-13 Moritz HoffmannMerge branch 'master' into tmas
2016-06-03 Moritz Hoffmanncaps: Add VNode_AARCH64_l0 and VNode_AARCH64_l0_Mapping...
2016-05-30 Timothy RoscoeRefactored ARMv7-A code.
2016-05-23 Simon GerberT238: change kernel to use new vnode_objsize() when...
2016-05-18 David CockPreliminary ARM Foundation Model port.
2016-05-09 Simon GerberT191: armv7: refactor code to use range retype and...
2016-04-29 Simon GerberT191: cleanup comments and some TODOs
2016-04-29 Simon GerberT191: x86_64: refactor retype2 back to retype
2016-04-22 Simon GerberT191: User space works again with reduced set of provid...
2016-04-21 Simon GerberT191: T231: caps_create_new() now takes region and...
2016-04-20 Simon GerberT191: T231: rename caps_create->caps_create_old and...
2016-04-20 Simon GerberT191: change all of user space to call new retype direc...
2016-04-20 Simon GerberT191: kernel: add debug prints about zeroing
2016-04-20 Simon GerberT191: remove old caps_retype() code from kernel
2016-04-20 Simon GerberT191: Fix zeroing for !(type == Frame)
2016-04-20 Simon GerberT191: call invoke_cnode_retype2 with count = 0 from...
2016-04-19 Simon GerberT191: rearrange check in kernel, do easy checks first...
2016-04-19 Simon GerberT191: add tests delete+retype and misaligned size and...
2016-04-19 Simon GerberT191: comment arg dumping for retype2 and add comment...
2016-04-19 Simon GerberT191: fix retype2 for overlapping requests + tests...
2016-04-18 Simon GerberT191: simple range check to allow non-overlapping retyp...
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: Now using (again) a table of ep caps for dispatch...
2016-04-06 Lukas HumbelIRQ: Making the code actually work. ACPI interface
2016-04-06 Lukas HumbelIRQ: added IRQVector cap
2016-04-06 Lukas HumbelIRQ: cap stubs
2016-02-26 Simon GerberT191: change PhysAddr, RAM, Frame, DevFrame and VNode_...
2015-11-23 Simon Gerberkernel: 32bit: fix capability tracing
2015-11-23 Simon GerberT187: fix sprint_cap() formatting
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: Implement cap invocation for arm, x86_32
2015-06-16 Moritz HoffmannT119: kernel: Unify debug_print_capabilities in sys_debug.c
2015-06-16 Simon Gerberkernel: fix object creation for KCB.
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_...
2014-12-14 Reto AchermannMerge remote-tracking branch 'origin/master' into shoal
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-10-20 Simon GerberMerge branch 'master' into master-into-distops
2014-10-15 Gerd ZellwegerMerge branch coreboot.
2014-10-14 Simon GerberRevert "added sse2 memset for x86_64."
2014-10-14 Simon Gerberadded sse2 memset for x86_64.
2014-10-14 Gerd ZellwegerTracing for capabilities.
2014-10-14 Simon GerberFixed caps_copy_to_cte to insert new cap after minting.
2014-10-14 Simon GerberAdded capability type and struct definition for kcb...
2014-08-20 Stefan KaestleAggreated patches d5676b to db707a of Reto's branch
2014-08-20 Stefan KaestleCleanup
2014-03-25 Simon Gerberx86_32: simple test works.
2014-03-17 Simon GerberAdded forwarding of free'd ram to core 0 + more debug...
2014-03-17 Simon Gerbermonitor debug stuff + other debug msgs.
2014-03-07 Simon GerberMark's capabilities merged with upstream.
2014-03-03 Simon GerberMerge branch 'master' into master-into-distops
2014-01-13 Simon GerberFixed caps_copy_to_cte to insert new cap after minting.
2013-11-27 pravin@inf.ethz.chFixed the dependency issue for e10k card, and also...
next