projects / barrelfish / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
T191: Implement prototype for new retype
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-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
2015-08-20 Simon GerberT156: acpi: properly set vtd_enabled
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-08-19 Simon Gerberkernel: remove 0x prefix for unsigned format specfiers
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-08-19 Simon Gerbergem5: make serial port configurable
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-08-18 Simon Gerberxeon phi: fix vfs deps to not build megaraid
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-08-18 Simon Gerberx86_64: syscall: Fix debug_notify_syscall so Xeon Phi...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-08-18 Simon Gerberacpi: fix VT-d initialization.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-08-17 Simon Gerberarrakis merge: Fix #defines in kernel/dispatch.c (again)
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-08-17 Simon Gerberacpi: Abort VT-d initialization when no HW units found.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-08-17 Simon Gerberharness: simplify exception handling in interactive...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-08-17 Simon Gerbere10k: add missing flounder binding
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-08-17 Simon Gerberharness: add TIMEOUT to expected exceptions in InteractiveTest
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-08-17 Simon Gerberarrakis merge: make x86_32 build
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-08-14 Simon Gerberx86: fix spawnd libdeps.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-08-14 Simon Gerberarrakis merge: remove megaraid dependency for arm archs
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-08-14 Simon Gerberarm: fix messed up ifdefs
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-08-14 Simon GerberT154: mask out vregion flag for arm
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-08-14 Simon GerberFix arrakis merge errors
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-08-14 Simon GerberMerge branch 'arrakis'
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-08-13 Simon Gerberpci: fix missing out barnr.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-08-11 Simon Gerbermonitor: distops: add missing free + assert in retrieve.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-08-11 Simon Gerbermonitor: remove old capability code
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-08-11 Simon Gerberarm: fix caps_map_l1 for armv5 and remove panic()s...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-08-11 Simon Gerberarmv5: add missing cp15_invalidate_i_and_d_caches_fast()
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-08-11 Simon Gerberlarge page morecore: add command line options to test
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-08-11 Simon Gerber32bit arm: fix large page support. Close T148.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-08-11 Simon Gerberarm: implement flush cache debug syscall
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-08-06 Simon Gerberkernel: do not drop RAM caps
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-08-05 Simon Gerbermonitor: distops: add missing free + assert in retrieve.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-08-05 Simon Gerbermonitor: remove old capability code
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-08-04 Simon Gerberarm: fix caps_map_l1 for armv5 and remove panic()s...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-08-04 Simon Gerberarmv5: add missing cp15_invalidate_i_and_d_caches_fast()
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-08-03 Simon Gerberlarge page morecore: add command line options to test
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-08-03 Simon Gerber32bit arm: fix large page support. Close T148.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-08-03 Simon Gerberarm: implement flush cache debug syscall
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-06-19 Simon Gerberarmv8: cleanup.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-06-19 Simon Gerberarmv8: remove old GOT stuff.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-06-19 Simon Gerberarmv8: add definitions for VMSAv8-64 translation table...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-06-19 Simon Gerberarmv8: cpu driver improvements.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-06-18 Simon Gerberarmv8: non-functioning exception vectors.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-06-18 Simon Gerberarmv8: try to print things.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-06-16 Simon GerberT119: add case when we find init rootcn in KCB.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-06-16 Simon Gerberkernel: fix object creation for KCB.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-06-16 Simon GerberT121: Create "real" BSP KCB cap for x86.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-06-11 Simon Gerberx86: implement modify flags for x86_32 and improve...
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-06-11 Simon Gerbercpuid device definitions: remove utf-8 registered symbols.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-06-11 Simon Gerberkernel: x86_64: fixed error handling in modify_flags.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-06-11 Simon GerberT77: Implement selective TLB flushing hint for modify_flags.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-06-11 Simon GerberT73: fix modify_flags for parts of region + test.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
2015-06-11 Simon Gerberapm88xxxx: cpu driver: add serial init and printf.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
 commit | commitdiff | tree
next
Barrelfish OS git repo