projects / barrelfish / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
T258: caps_lookup_slot: return SYS_ERR_CNODE_NOT_FOUND when encountering null cnode...
2016-08-10 Simon GerberT258: caps_lookup_slot: return SYS_ERR_CNODE_NOT_FOUND...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-05 Simon GerberT275: platforms/Hakefile: add delete and revoke distops...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-05 Simon GerberT258: kaluga: use cnode_create_l2()
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-05 Simon Gerbermonitor: capops/delete: properly check slot_free()...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-05 Simon GerberT275: fix printfs in distops delete test
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-05 Simon Gerbermonitor: capops: delete: fix case where we delete last...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-05 Simon Gerberkernel: armv7: zynq7: add arm/debug.c to hake rule
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-05 Simon Gerberlibspawndomain: fix typo
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-05 Simon Gerberarmv8: QEMU ARMv8 compiles
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-05 Simon GerberT266: armv7: add kernel-side handlers for cnode resizing
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-05 Simon GerberT274: armv8: update monitor invocations and cleanup...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-05 Simon GerberMerge branch 'caps_next'
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-05 Simon GerberT274: armv8: update cspace invocations
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-05 Simon GerberT258: mem_serv_dist: fix get_more_ram() call
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-05 Simon GerberT258: Delete GPT cspace functionality and rename new...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-03 Simon Gerberharness: armv7_gem5: up test timeout to 25 minutes
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-03 Simon Gerberharness: armv7 simulators: grab cpu driver command...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-03 Simon Gerbercpuboot: arm: spawn_xcore_monitor: return LIB_ERR_NOT_IMPLEM...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-03 Simon Gerberharness: vmkit: add correct serial driver module
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-03 Simon Gerberharness: armv7 machines: deduplicate code and grab...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-03 Simon Gerbermonitor/ram_alloc: unnecessary debug_printfs and commented...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-03 Simon Gerberharness: update interactive tests to work with new...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-02 Simon GerberT258: armv7: fix call stack in cnode_create()
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-02 Simon GerberT258: two_level_slot_alloc_init{,_raw}: Remove unnecessary...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-02 Simon GerberT258: libbarrelfish: Remove commented-out debugging...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-02 Simon GerberT258: arrakismon: use two-level slot allocator as multi...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-02 Simon GerberT258: Add call stack to cnode_create()
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-02 Simon GerberT258: fix invoke_dispatcher() assertions to work for...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-02 Simon GerberT258: Implement two_level_slot_alloc_init{,_raw} and...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-02 Simon Gerberkernel: caps_delete_foreigns: check for copies in predecesso...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-02 Simon GerberT275: delete test: do not panic out for delete under...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-02 Simon Gerbermonitor/capops: add more DEBUG_CAPOPS() statements...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-02 Simon GerberT276: armv7: Add new monitor invocation for retypeability...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-02 Simon Gerbermonitor/capops: add more DEBUG_CAPOPS() in delete_trylock_cont
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-02 Simon GerberT275: fix delete test
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-02 Simon GerberT275: Refactor distops tests and fix bug in delete...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-02 Simon GerberT276: Fix monitor revoke check to check for overlapping...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-02 Simon GerberT276: Fix monitor retype check to check on owning core...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-29 Simon GerberT273: armv7: Fix monitor invocations for capability...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-29 Simon GerberT275: distops_retype test: fix printf for unexpected...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-29 Simon GerberT275: Add distributed revoke test
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-29 Simon GerberT275: Add test for delete of distributed capabilities
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-29 Simon GerberT258: Make sure that invoke_vnode_identify() can only...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-29 Simon GerberT275: Refactor distributed retype test into framework...
commit | commitdiff | tree
2016-07-29 Simon GerberT274: monitor: capops/retype: add DEBUG_CAPOPS() statements...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-29 Simon Gerbermonitor: capops: capsend: add DEBUG_CAPOPS(__FUNCTION__...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-29 Simon GerberT275: T266: platforms/Hakefile: Add test_remote_retype...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-29 Simon GerberT274: Fix remote retype
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-29 Simon GerberT275: Add test for distributed capability retype
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-29 Simon GerberT191: harness: add quiet mode to retype test and use...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-29 Simon GerberT191: reduce verbosity in caps_retype()
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-29 Simon GerberT266: harness: fix root cnode resizing harness test...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-29 Simon GerberT258: Provide slot allocator refilling in xeon phi...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-29 Simon GerberT258: Xeon Phi: provide proper argument cnode when...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-29 Simon Gerberkernel: x86,k1om: #define START_KERNEL_PHYS as alias...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-28 Simon Gerberharness: Kill console lockprocess if wait() hangs for...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-27 Simon Gerberlibbarrelfish: rename variable to not shadow free_slots()
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-27 Simon Gerberlibbarrelfish: rename variable to not shadow free()
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-27 Simon GerberT266: root cnode resize test: only do a cap_copy()...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-27 Simon GerberT258: remove stale comments and commented out code...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-27 Simon GerberT266: add test for resizing root cnode and fix minor...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-27 Simon GerberT266: Refactor rootcn resizing and use it in two-level...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-27 Simon GerberT258: Remove commented out move to root code for lmp...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-27 Simon GerberT266: Resizing root cnode enabled for libmm slot allocator
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-26 Simon GerberT258: usr/acpi: Do not try to create L2 CNode with...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-26 Simon GerberT273: pass correct root cnode for distributed capability...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-26 Simon GerberT258: Fix domain spanning dispatcher creation
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-26 Simon Gerbererrors: Remove unused error value
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-26 Simon Gerberacpi: Make sure usr/acpi fails noisly even with assertions...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-26 Simon GerberT258: Fix libmm to refill it's slot allocator if refill...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-26 Simon GerberT258: Fix range_slot_alloc() to properly report out...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-25 Simon GerberT258: Fix missing return statements in default cases...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-25 Simon GerberT273: armv7: monitor invocation handlers: rename bits...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-25 Simon GerberT273: x86_64: monitor invocation handlers: rename vbits...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-25 Simon GerberT273: fix monitor_retype and adjust arguments in direct...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-25 Simon Gerberlibbarrelfish: terminal: remove unnecessary debug_printf
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-25 Simon Gerbermonitor: remove unnecessary log2ceil and 2^ for span_domain_...
commit | commitdiff | tree
2016-07-25 Simon GerberT273: monitor: cleanup variable and argument names...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-25 Simon GerberT258: x86: fix ipi_register_notification to use new...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-25 Simon GerberT258: fix sys_yield to use new capability lookup function
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-25 Simon GerberT258: x86_64: change dispatcher_setup_guest, trace_setup...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-25 Simon GerberT273: x86_64: distributed capability operations updated...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-25 Simon GerberAlways use frame_identify() instead of raw invocation
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-25 Simon GerberT272: armv7: implement two-level cspace layout
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-25 Simon Gerberkernel: fix argument names in lmp_deliver()
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-25 Simon Gerberkernel,x86_64: move handle_map to where it should be...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-25 Simon Gerberinvocations: fix argument mess for invoke_cnode_create
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-25 Simon GerberCreate wrapper for invoke_frame_identify
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-25 Simon Gerbermonitor: move simple monitor invocations into arch...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-25 Simon Gerberlibbarrelfish: move simple capability invocations into...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-22 Simon GerberT258, T264, T270: Implement two-level cspace layout...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-18 Simon Gerberharness: fix pandaboard machine
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-18 Simon Gerberarmv7: harness: fix FVP and qemu machines.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-18 Simon Gerberharness: armv7: fix image names in harness machines
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-18 Simon Gerberkernel: k1om: Update spawn_* functions to match new...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-18 Simon Gerberarmv7: make compile on Ubuntu 14.04 (GCC 4.8.2)
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-11 Simon Gerberx86_64: kernel: remove all tabs from entry.S and reindent...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-08 Simon GerberT258: kernel: add missing debug.h file
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-08 Simon GerberT258: arm: kernel: add missing file
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-07-08 Simon GerberT258: fish: only create master inherit cnode once
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
next
Barrelfish OS git repo