projects / barrelfish / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge branch 'caps_next'
2016-06-07 Simon GerberMerge branch 'caps_next'
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-05-25 Simon GerberT238: fix renaming mistake
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-05-25 Simon GerberT238: fix vnode_objsize() to not use BASE_PAGE_SIZE...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-05-23 Simon GerberT238: change kernel to use new vnode_objsize() when...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-05-23 Simon GerberT242: handle FLOUNDER_ERR_TX_BUSY for all capops
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-05-23 Simon GerberT242: handle FLOUNDER_ERR_TX_BUSY in usr/monitor/capops...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-05-17 Simon GerberRemove unneeded printk() in kernel/startup.c
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-05-17 Simon GerberT191: xeon_phi: Update driver to use new API and minor...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-05-10 Simon GerberT191: x86_64: make it compile again
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-05-10 Simon Gerberkernel: paging_generic: compile_vaddr: handle case...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-05-09 Simon GerberT191: init: use mm_add_multi in initialize_ram_alloc()
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-05-09 Simon GerberT191: remove commented-out cap splitting in caps_create_to_cnode
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-05-09 Simon Gerbergem5: Fix menu.lst.arm_gem5_mc to set mmap to 256MB...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-05-09 Simon GerberT191: armv7: refactor code to use range retype and...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-05-09 Simon GerberT191: aarch64: fix monitor invoke_retype
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-05-09 Simon Gerberharness: add build type for armv7 gem5+debug symbols
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-04-29 Simon Gerbervspace_pinned_alloc: dump errors so that we get full...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-04-29 Simon GerberT191: cleanup comments and some TODOs
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-04-29 Simon GerberT191: aarch64: implement invocations and related changes...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-04-29 Simon GerberT191: rename testsuite from caps_next to capops
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-04-29 Simon GerberT191: x86_64: refactor retype2 back to retype
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-04-22 Simon GerberT191: python script to generate dot file to plot mdb...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-04-22 Simon GerberT191: User space works again with reduced set of provided...
commit | commitdiff | tree
2016-04-21 Simon GerberT191: T231: caps_create_new() now takes region and...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-04-20 Simon GerberT191: T231: rename caps_create->caps_create_old and...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-04-20 Simon GerberT191: change all of user space to call new retype directly...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-04-20 Simon GerberT191: kernel: add debug prints about zeroing
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-04-20 Simon GerberT191: remove old caps_retype() code from kernel
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-04-20 Simon GerberT191: minor changes to retype2 test output
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-04-20 Simon GerberT191: add warning about use of old retype
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-04-20 Simon GerberT191: Fix zeroing for !(type == Frame)
 commit | commitdiff | tree
2016-04-20 Simon GerberT191: write multi retype test and add test_retype2...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-04-20 Simon GerberFix cap tracing static assert
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-04-20 Simon GerberT191: update monitor capops retype
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-04-20 Simon GerberT191: call invoke_cnode_retype2 with count = 0 from...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-04-19 Simon GerberT191: fix wrong error
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-04-19 Simon GerberT191: fix missing arg in cap_retype2()
 commit | commitdiff | tree
2016-04-19 Simon GerberT191: rearrange check in kernel, do easy checks first...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-04-19 Simon GerberT191: add tests delete+retype and misaligned size and...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-04-19 Simon GerberT191: comment arg dumping for retype2 and add comment...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-04-19 Simon GerberT191: fix retype2 for overlapping requests + tests...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-04-19 Simon GerberT191: fix simple test
 commit | commitdiff | tree
2016-04-19 Simon GerberT191: retype2: more testing of simple success cases
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-04-18 Simon GerberT191: Fix missed renaming of test
 commit | commitdiff | tree
2016-04-18 Simon GerberT191: simple range check to allow non-overlapping retypes...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-04-18 Simon GerberT191: fix test output to describe tests more accurately...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-04-18 Simon GerberT191: add testing for new retype code; not complete
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-04-18 Simon GerberImplement identify command for ObjType_RAM
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-04-18 Simon GerberT191: fix wrong command in invoke_cnode_retype2, and...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-04-18 Simon Gerberqemu-wrapper: Fix typo in default hd file
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-04-18 Simon Gerberharness,qemu wrapper: Make harness use qemu wrapper...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-04-18 Simon GerberT191: Implement prototype for new retype
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-04-18 Simon GerberSquashed changes of e89aa91..6ca6bdf (master as of...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-04-18 Simon Gerberarmv7-m: port mapping capability changes
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-04-18 Simon Gerberharness: Remove x86_32 from buildarchs for x86_64 ethz...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-04-18 Simon Gerberarmv7-m: fix missing bits in posixcompat, compiler...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-04-12 Simon Gerberharness: dynamically generate "enough" compiler-rt...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-04-05 Simon Gerberharness: fix error reporting
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-04-05 Simon Gerberharness: fix error reporting some more
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-04-05 Simon Gerberharness: Fix error reporting
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-04-01 Simon Gerberharness: split up compiler-rt tests in more testcases
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-03-30 Simon Gerberharness: replace non-printable characters in output...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-03-24 Simon Gerberharness: xml: put class name back in to make result...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-03-24 Simon Gerberharness: xml: do not use <build>.<machine> as class...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-03-24 Simon Gerberharness: produce xml output (if requested) on early...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-03-23 Simon Gerberharness: fix output preprocessing
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-03-23 Simon Gerberharness: xml: fix stdout processing and ordering of...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-03-23 Simon Gerberharness: testcase output: join output lines instead...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-03-23 Simon Gerberharness: xml file now called report.xml
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-03-23 Simon Gerberharness: fix code that generates TestCase objects
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-03-23 Simon Gerberscalebench: add option to produce junit xml output
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-03-18 Simon Gerberx86_64: irq vector allocation: simplify looping over...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-03-14 Simon Gerberhake: thc: make <ifn>_thc.c depend on <ifn>_defs.h
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-03-14 Simon Gerberx86_32: fix nonsense comparisons
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-03-11 Simon GerberCleanup bugs exposed by -Wtype-limits.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-03-11 Simon Gerbereclipseclp: add sizes.h definitions for aarch64
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-02-26 Simon GerberT191: x86_64: frame_identify returns size in bytes
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-02-26 Simon GerberT191: change PhysAddr, RAM, Frame, DevFrame and VNode_...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-02-23 Simon Gerberharness: run angler with termtype "dumb" for interactive...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-02-23 Simon Gerberkernel: x86_64: vmx: properly intialize val in vmx_read_msr()
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-02-11 Simon GerberT207: Implement local_phys_is_valid() and call this...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2016-02-05 Simon GerberAdd Physical ASID field to PhysAddr, RAM, Frame and...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-12-10 Simon Gerberinit: unify identical ifdef sections
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-12-09 Simon GerberMerge branch 'mapping_caps'
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-12-09 Simon GerberT187: ARMv8: do not use syscall10 for invoke_vnode_map
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-12-09 Simon GerberT187: x86: add assertion about mapping cap being NULL...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-12-09 Simon GerberT187: Move aarch64 code to mapping caps
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-12-04 Simon Gerberlibnuma: fix format and variable mismatch in skb_read_list
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-12-04 Simon Gerbernewlib: do not ever expose C11's alloc_aligned() on...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-12-04 Simon Gerberdmalloc: remove completely unnecessary orignb in bf_dmalloc_...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-12-04 Simon Gerberharness: fix interactive tests (coreboot) to properly...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-12-04 Simon GerberMerge commit 'a7afb24e5eb95a02643cc2d7109e0d2c3fa66da0'
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-12-04 Simon GerberSquashed 'lib/newlib/' changes from a4e9d13..80180c4
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-11-23 Simon GerberT187: reorder CNode fields to not generate unaligned...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-11-23 Simon Gerberkernel: 32bit: fix capability tracing
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-11-23 Simon GerberT187: armv7: migrate to mapping caps.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-11-23 Simon Gerberplatforms: Hakefile: append modules_common to modules_x86_32
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-11-23 Simon GerberT187: Update x86_32 to mapping capability interface.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-11-23 Simon GerberT187: fix VM kernel interface test
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-11-23 Simon GerberT187: remove cap_copy() calls when mapping same frame...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
next
Barrelfish OS git repo