projects / barrelfish / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
harness: Add test for vnode_map() with too many ptes requested
2016-10-03 Simon Gerberharness: Add test for vnode_map() with too many ptes...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-10-03 Simon Gerberarmv7: paging: proper check if `pte_count` pages fit...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-10-03 Simon Gerbervnode_map: add test with pte_count larger than fits...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-09-28 Simon GerberT291: kernel: include bitmacros.h in kernel.h
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-09-28 Simon GerberT291: create_mapping_cap:Properly check that offsets...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-09-22 Simon Gerberharness: fix armv7 machines to work with coreboot enabled...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-09-22 Simon GerberUpdate README to reflect new tools
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-09-22 Simon GerberMerge branch 'toolchain1604'.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-09-21 Simon Gerberkaluga: start_cpu: inheritcn_delete: remove trigger...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-09-21 Simon Gerberoctopus client: return trigger id to caller in oct_trigger_e...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-09-21 Simon Gerberkaluga: delete kaluga's copy of inherit cnode after...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-09-21 Simon GerberT289: Refactor slot allocator code to allow slot_alloc_root...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-09-21 Simon GerberT288: Remove references to DEFAULT_CNODE_BITS and derived...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-09-21 Simon GerberT284: reduce number of queue slots for receive capslots...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-09-21 Simon GerberT284: make kernel message on occupied destination slot...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-09-21 Simon GerberT284: Fix a couple bits of PCI client code where we...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-09-21 Simon GerberT284: Fix thread_{get,set}_recv_slot()
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-09-21 Simon Gerberharness: fix core ranges for memtest_multicore and...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-09-21 Simon GerberT284: T285: Store RPC recv slots in thread struct
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-09-21 Simon GerberT284: Fix logic for when to fail when no new recv slot...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-09-21 Simon GerberT284: Change flounder to use provided slots when in...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-26 Simon Gerberharness: Fix git extra info for detached HEAD state
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-23 Simon Gerberharness: Handle assertion failure case for compiler...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-23 Simon Gerberharness: webserver tests: let Kaluga start e1000n,...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-23 Simon Gerberharness: start cleaning up default_bootmodules()
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-23 Simon Gerberharness: refactor qemu x86_64 machines to allow easy...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-23 Simon Gerberharness: exit test on assertion failure
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-23 Simon Gerberharness: Add new build type "test" (no debug symbols...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-23 Simon Gerberharness: Fix PassFailMultiResult.reason and add summary...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-22 Simon Gerberoctopus: add octopus flounder interface to parser library...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-22 Simon Gerberoctopus: Use flounder definitions to specify size of...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-22 Simon GerberMove canonical definitions of MIN/MAX macros to bitmacros...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-16 Simon Gerberweever: update flags for new k1om gcc
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-16 Simon GerberK1OM toolchain update: harness: fix path for MPSS
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-16 Simon GerberT258: refactor creation of new cspaces to make it cleaner
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-16 Simon Gerberharness: output processing: handle cases where we do...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-16 Simon Gerberharness: retype_test: fix multicore retype test to...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-16 Simon Gerberacpi: osglue: implement AcpiOsStall() using barrelfish_usleep()
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-16 Simon Gerberharness: memtest_multicore: add a single multiboot...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-16 Simon Gerberskb interface: up size of run output string to 64kB
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-16 Simon Gerberk1om: libbarrelfish: Fix disp_try_disable
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-16 Simon GerberUpdate weever to build against newlib headers
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-16 Simon GerberRemove CONFIG_NEWLIB #define and all uses
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-15 Simon Gerberharness: armv7 qemu: fix image creation calls to work...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-15 Simon Gerberharness: unbreak armv7 simulators when not using existing...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-15 Simon Gerberarmv7: kernel: monitor_delete_last: fix argument unmarshalling
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-15 Simon Gerberharness: armv7 machines: fix pandaboard to work with...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-15 Simon Gerberharness: armv7 simulator machines: fix to work with...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-15 Simon GerberT243: Fix armv7 pmap code to work with new vnodes
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-15 Simon GerberT243: Fix armv7 paging code and caps_retype() to properly...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-15 Simon GerberT243: Fix vnode_objsize() to return 1024 for ARM_l2...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-15 Simon GerberT243: capability types and kernel code now accurately...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-11 Simon GerberStore BSP KCB in octopus as KCB 0 and update coreboot...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-11 Simon Gerberharness: Improve exception output in xml reports and...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-11 Simon Gerberharness: factor out line cleaning and use in process_output()
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-11 Simon GerberFix harness to properly strip terminal color control...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-11 Simon GerberFix kernel struct dispatcher_shared_arm include in...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-08-10 Simon GerberIRQ: kaluga: pass driver_argument pointer to default_start_f...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
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
next
Barrelfish OS git repo