projects / barrelfish / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
T238: fix renaming mistake
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-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-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-23 Moritz Hoffmannkaluga: Fix string formatting in debug code.
 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
2015-11-23 Simon GerberT187: paging_generic: fix unmap_capability()
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-11-23 Simon GerberT187: fix sprint_cap() formatting
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-11-23 Simon GerberT187: change vnode_unmap() to only take ptable and...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-11-23 Simon GerberT187: Implement modify_flags() on mapping cap
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-11-23 Simon GerberT187: change vnode_unmap() to take ptable and mapping...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-11-23 Simon GerberT187: improve VM kernel interface tests + add harness...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-11-18 Simon GerberT187: x86_64: reduce verbosity of mapping code + add...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-11-17 Simon GerberT187: x86_64: squash capability size to 64 bytes
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-11-17 Simon GerberT187: caps_copy_to_vnode: fix debug output
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-11-17 Simon GerberT187: Remove mapping_info and rewrite code that depended...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-11-17 Simon GerberT187: x86_64: implement creation of mapping cap
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-11-17 Simon GerberT187: kernel: add mapping cap commands (NYI)
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-11-17 Simon GerberT187: kernel unmarshalling of mapping cap slot
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-11-17 Simon GerberT187: Update user code to supply extra slot for mapping...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-11-17 Simon Gerberx86: pmap: fix ptable cleanup code to use correct slot...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-11-17 Simon Gerberplatforms: add VM tests to Hakefile
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-11-17 Simon GerberT187: Add Mapping cap types
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-11-17 Simon GerberT187: Add get_address() as FFI call to fof and as address...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-10-28 Simon Gerbermonitor: replace cap_destroy() in identify_cap() rpc...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-10-28 Simon Gerbere10k: fix merge errors in virtual function code.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-10-01 Simon GerberRemove unused captx_abort_recv()
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-09-21 Simon Gerberlibbarrelfish: provide list of ORed ObjType_s for cap...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-09-21 Simon GerberFix wrong initial value for total buffer length in...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-09-14 Simon Gerberlibposixcompat: use explicit list of C files instead...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-09-14 Simon Gerberplatforms/Hakefile: Add tests_common to tests_x86
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
next
Barrelfish OS git repo