projects / barrelfish / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
stdio: add __printflike() to ANSI C functions
2017-08-29 Simon Gerberstdio: add __printflike() to ANSI C functions
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2017-08-29 Simon Gerberhake: armv7_gem5_vexpressemm: Fix armv7 gem5 menu.lst...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2017-08-29 Simon GerberFix various memory leaks and uninitialized variable...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2017-08-29 Simon Gerberharness: memtest: properly fail memtest_multicore when...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2017-06-02 Simon Gerberdoc: tn04: update vm technote to match recent implementation...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2017-06-02 Simon Gerbertests: fix skb cap storage test to use %PRIuGENPADDR...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2017-06-02 Simon Gerberkernel: caps_lookup_slot: fix edgecase for l1 index...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2017-06-02 Simon Gerberdoc: tn13: add invocations on VNode and some minor...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2017-06-02 Simon Gerberdoc: tn13: more updates to ch6
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2017-06-02 Simon Gerberdoc: tn13: Reword hybrid solution section
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2017-06-02 Simon Gerberdoc: tn13: Add section on Mark's hybrid operations...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2017-06-02 Simon Gerberdoc: tn13: Add section on implementation of cap database
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2017-06-02 Simon Gerberdoc: tn13: Update wording for frame/devframe ondelete()
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2017-06-02 Simon Gerberdoc: tn13: add mapping capability to types
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2017-06-02 Simon Gerberdoc: tn13: fix comment in hakefile
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2017-06-02 Simon Gerberdoc: tn13: add KCB to cap types
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2017-06-02 Simon Gerberdoc: tn13: Add one sentence description for all currently...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2017-06-02 Simon Gerberdoc: tn13: update capability type section
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2017-06-02 Simon Gerberdocumentation: tn13: start updating capmgmt technote
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2017-06-02 Simon Gerbertests: update L1/L2 CNode creation tests and add harness...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2017-06-02 Simon Gerberharness: distops tests: make sure tests have run when...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2017-06-02 Simon Gerberharness: cleanup tests to not override is_finished...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2017-06-02 Simon Gerberarmv8: kaluga: remove early oct_set("all_spawnds_up")
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2017-06-02 Simon Gerberharness: fix gorgonzola2 machine data
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2017-05-05 Simon Gerberharness: tftp test: actually check that we got the...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2017-05-05 Simon Gerberharness: test base class: check for finish string not...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2017-05-04 Simon GerberAdd simple tftp client test
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2017-05-04 Simon Gerberharness: Delete tests/tftp.py which is copied tests...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2017-05-02 Simon Gerbercapops: add some more DEBUG_CAPOPS in delete code
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2017-05-02 Simon GerberT245: capops: fix distributed delete
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2017-04-18 Simon GerberMerge Github PR#5. Add missing error check in frame_identify()
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2017-03-07 Simon Gerberlibvfs: vfs_fd: correctly set errno = ENOENT on FS_ERR_NOTFILE
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2017-01-17 Simon Gerberharness: pandaboard: cleanup compiler-rt tests
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-12-22 Simon Gerberharness: armv8 efi machine: fix boot module list extraction
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-12-22 Simon GerberMerge GitHub PR#3.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-12-22 Simon Gerberharness: Remove old pandaboard buildall harness test
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-12-22 Simon Gerberlibbarrelfish: memobj_anon: fix vregion slab refilling
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-12-15 Simon Gerberlibbarrelfish: vspace_pinned_alloc: acquire lock nested...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-12-15 Simon Gerberlibbarrelfish: memobj_anon: change refilling flag to...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-12-15 Simon Gerberacpi: Backout changes to acpica_osglue code.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-12-15 Simon Gerberlibspawndomain: elf_allocate: remove wrong(?) vspace_lvaddr_...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-12-15 Simon Gerberlibbarrelfish: memobj_anon: fill: refill slab allocator...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-12-15 Simon Gerberacpi: map/unmap: always call mm_realloc_range() for...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-12-15 Simon Gerberlibbarrelfish: make cap deletion in memobj_destroy_anon...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-12-15 Simon Gerberacpi: osglue: improve and simplify AcpiOsMapMemory...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-12-15 Simon Gerberlibbarrelfish: memobj_anon: return error if frame_identify...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-12-14 Simon Gerbercapabilities: make mapping caps size 1 (from 0) so...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-12-14 Simon Gerberkernel: retype: more diagnostics on retype range checks
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-12-14 Simon Gerberlibmdb: add argument sanity check in mdb_is_inside()
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-11-30 Simon Gerberharness: exit with non-zero when tests fail
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-11-10 Simon Gerberharness: compiler rt: fix vector fp test again
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-11-10 Simon Gerberump_bench: num_cores in main.c is number of spawned...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-11-10 Simon GerberRevert "harness: pandaboard: powercycle rack pandaboards...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-11-10 Simon Gerberharness: pandaboard: powercycle rack pandaboards after...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-11-10 Simon Gerberharness: compiler rt: fix VFP test
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-11-10 Simon Gerberkaluga: remove debug printf
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-11-10 Simon Gerberarmv7: zynq7: manually set all_spawnds_up as we do...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-11-10 Simon Gerberarmv7: kaluga: remove commented out code which manually...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-11-10 Simon Gerberharness: compiler-rt: factor vector FP tests into their...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-11-10 Simon Gerberharness: armv7 fvp: add 4 core machine
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-11-10 Simon Gerberx86_64: kernel: fix handle_vnode_identify to not do...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-11-10 Simon Gerberarmv7: handle VNodeCmd_Identify
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-11-10 Simon Gerberarmv7: kaluga, startd: enable proper waiting on all_spawnds_up
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-11-10 Simon Gerberharness: pandaboard: build right image file and remove...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-11-08 Simon GerberT318: vspace_pinned_alloc: fix case where we call back...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-11-08 Simon GerberT321: k1om: fix creating RAM caps
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-11-08 Simon GerberT322: defer pagetable cap deletion to receive handler
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-11-07 Simon GerberT322: multihoptest: Clean up page table cap late to...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-11-07 Simon Gerberdelete tracked .orig file
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-11-07 Simon GerberT321: kernel: non power-of-2 sized capabilities remove...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-11-07 Simon Gerberflounder: Free popped receive slot if we did not use it
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-11-07 Simon Gerberlibbarrelfish: two_level_alloc: Unlock mutex when we...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-10-19 Simon Gerberharness: panda_local: remove picocom lock after killing...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-10-19 Simon Gerberkernel: cap_delete: properly insert simple caps that...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-10-19 Simon Gerberharness: xeon_phi_boot test: make sure that we see...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-10-19 Simon Gerberharness: put in basic functionality for testing multicore...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-10-19 Simon Gerbermonitor: capops: Remove no-longer-needed capops/magic...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-10-19 Simon GerberT310: capops: Replace num_monitors_online() with num_monitor...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-10-18 Simon GerberT309: harness: Fix initialization of "real" pandaboard...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-10-13 Simon Gerberharness: fix gem5 machine to use correct boot image...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-10-11 Simon Gerber[libbarrelfish] Properly check for error in case slab_alloc...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-10-10 Simon Gerberharness: mt_waitset test: increase test timeout by...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-10-07 Simon Gerberharness: Fix webserver test to not choke when test...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-10-07 Simon Gerberharness: fix broken super() in webserver test
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-10-07 Simon Gerberharness: fix error inclusion in junit report generation
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-10-07 Simon Gerberharness: httperf test: fail when webserver crashes...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-10-07 Simon Gerberharness: simulator tests: gracefully handle EOF on...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-10-04 Simon Gerberharness: compiler-rt: comment out known-to-fail test...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-10-04 Simon Gerberif/monitor.if: multihop_message: increase payload buffer...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-10-04 Simon Gerberharness: Exit test when we encounter a line starting...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-10-04 Simon Gerbernkm tests: x86-64 invalid mappings: fix case where...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-10-04 Simon Gerberlibbarrelfish: arm pmap: fix flag passing in modify_flags
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-10-04 Simon Gerberkernel: dump_ptables: armv7: print rw flags for small...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-10-04 Simon Gerberkernel: arm: fix modify_flags invocation
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-10-04 Simon Gerbernkmtest: make arm version compile and only check fault...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
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
next
Barrelfish OS git repo