| 2016-04-18 |
Simon Gerber | T191: Implement prototype for new retype |
blob | commitdiff |
| 2016-04-18 |
Simon Gerber | Squashed changes of e89aa91..6ca6bdf (master as of... |
blob | commitdiff | diff to current |
| 2016-02-26 |
Simon Gerber | T191: change PhysAddr, RAM, Frame, DevFrame and VNode_... |
blob | commitdiff | diff to current |
| 2015-11-23 |
Simon Gerber | kernel: 32bit: fix capability tracing |
blob | commitdiff | diff to current |
| 2015-11-23 |
Simon Gerber | T187: fix sprint_cap() formatting |
blob | commitdiff | diff to current |
| 2015-11-17 |
Simon Gerber | T187: Add Mapping cap types |
blob | commitdiff | diff to current |
| 2015-11-16 |
David Cock | Clean merge of HP's ARMv8 code |
blob | commitdiff | diff to current |
| 2015-09-21 |
Simon Gerber | libbarrelfish: provide list of ORed ObjType_s for cap... |
blob | commitdiff | diff to current |
| 2015-06-16 |
Moritz Hoffmann | T119: kernel: Implement cap invocation for arm, x86_32 |
blob | commitdiff | diff to current |
| 2015-06-16 |
Moritz Hoffmann | T119: kernel: Unify debug_print_capabilities in sys_debug.c |
blob | commitdiff | diff to current |
| 2015-06-16 |
Simon Gerber | kernel: fix object creation for KCB. |
blob | commitdiff | diff to current |
| 2015-06-16 |
Moritz Hoffmann | T119: work in progress, use mdb tree call-back function... |
blob | commitdiff | diff to current |
| 2015-06-16 |
Moritz Hoffmann | T119: implement syscall and monitor interface to debug_... |
blob | commitdiff | diff to current |
| 2014-12-14 |
Reto Achermann | Merge remote-tracking branch 'origin/master' into shoal |
blob | commitdiff | diff to current |
| 2014-11-26 |
Simon Gerber | Merge branch 'master' into distops |
blob | commitdiff | diff to current |
| 2014-11-26 |
Reto Achermann | Cleanup of Xeon Phi Kernel: |
blob | commitdiff | diff to current |
| 2014-11-21 |
Simon Gerber | Factored out IPI sending invocations to their own cap... |
blob | commitdiff | diff to current |
| 2014-10-20 |
Simon Gerber | Merge branch 'master' into master-into-distops |
blob | commitdiff | diff to current |
| 2014-10-15 |
Gerd Zellweger | Merge branch coreboot. |
blob | commitdiff | diff to current |
| 2014-10-14 |
Simon Gerber | Revert "added sse2 memset for x86_64." |
blob | commitdiff | diff to current |
| 2014-10-14 |
Simon Gerber | added sse2 memset for x86_64. |
blob | commitdiff | diff to current |
| 2014-10-14 |
Gerd Zellweger | Tracing for capabilities. |
blob | commitdiff | diff to current |
| 2014-10-14 |
Simon Gerber | Fixed caps_copy_to_cte to insert new cap after minting. |
blob | commitdiff | diff to current |
| 2014-10-14 |
Simon Gerber | Added capability type and struct definition for kcb... |
blob | commitdiff | diff to current |
| 2014-08-20 |
Stefan Kaestle | Aggreated patches d5676b to db707a of Reto's branch |
blob | commitdiff | diff to current |
| 2014-08-20 |
Stefan Kaestle | Cleanup |
blob | commitdiff | diff to current |
| 2014-03-25 |
Simon Gerber | x86_32: simple test works. |
blob | commitdiff | diff to current |
| 2014-03-17 |
Simon Gerber | Added forwarding of free'd ram to core 0 + more debug... |
blob | commitdiff | diff to current |
| 2014-03-17 |
Simon Gerber | monitor debug stuff + other debug msgs. |
blob | commitdiff | diff to current |
| 2014-03-07 |
Simon Gerber | Mark's capabilities merged with upstream. |
blob | commitdiff | diff to current |
| 2014-03-03 |
Simon Gerber | Merge branch 'master' into master-into-distops |
blob | commitdiff | diff to current |
| 2014-01-13 |
Simon Gerber | Fixed caps_copy_to_cte to insert new cap after minting. |
blob | commitdiff | diff to current |
| 2013-11-27 |
pravin@inf.ethz.ch | Fixed the dependency issue for e10k card, and also... |
blob | commitdiff | diff to current |
| 2013-07-31 |
Simon Gerber | Added missing cap types to debug_print_cap in lib/barre... |
blob | commitdiff | diff to current |
| 2013-07-31 |
Simon Gerber | Added debug syscall & Config.hs variable for physmem... |
blob | commitdiff | diff to current |
| 2013-07-18 |
Simon Gerber | Fixed capability system merge errors. Builds, boots... |
blob | commitdiff | diff to current |
| 2013-07-18 |
Simon Gerber | Merge master into distops. |
blob | commitdiff | diff to current |
| 2013-07-18 |
Mark Nevill | Improve captrace output for minting. |
blob | commitdiff | diff to current |
| 2013-07-18 |
Mark Nevill | Reinsert minted IO caps into MDB. |
blob | commitdiff | diff to current |
| 2013-07-18 |
Mark Nevill | Added individual remote relations bits for copies/ances... |
blob | commitdiff | diff to current |
| 2013-07-18 |
Mark Nevill | Set remote_relations when deserializing caps. |
blob | commitdiff | diff to current |
| 2013-07-18 |
Mark Nevill | Copy remote relations attribute when copying caps betwe... |
blob | commitdiff | diff to current |
| 2013-07-18 |
Mark Nevill | Set remote relations for new foreign caps that have... |
blob | commitdiff | diff to current |
| 2013-07-18 |
Mark Nevill | Workaround for multi-retype hack. |
blob | commitdiff | diff to current |
| 2013-07-18 |
Mark Nevill | Fixed condition in is_retypeable check to handle foreig... |
blob | commitdiff | diff to current |
| 2013-07-18 |
Mark Nevill | Added message argument to cap tracing to ease debugging. |
blob | commitdiff | diff to current |
| 2013-07-18 |
Mark Nevill | Added basic framework for tracing in-kernel cap operati... |
blob | commitdiff | diff to current |
| 2013-07-18 |
Mark Nevill | Fixed not copying over cap owner in caps_copy_to_cte. |
blob | commitdiff | diff to current |
| 2013-07-18 |
Mark Nevill | Implemented monitor_copy_existing invocation. |
blob | commitdiff | diff to current |
| 2013-07-18 |
Mark Nevill | Properly set cap ownership when creating new caps in... |
blob | commitdiff | diff to current |
| 2013-07-18 |
Mark Nevill | Integrated delete & revoke handling. |
blob | commitdiff | diff to current |
| 2013-07-18 |
Mark Nevill | Integrated capops with monitor_cap_create. |
blob | commitdiff | diff to current |
| 2013-03-19 |
Kornilios Kourtis | New tracing infrastructure |
blob | commitdiff | diff to current |
| 2013-02-21 |
Simon Gerber | Use get_address(cap) and get_size(cap) in various place... |
blob | commitdiff | diff to current |
| 2013-01-29 |
Simon Gerber | Added unmap on cap_delete for pmem capabilities. |
blob | commitdiff | diff to current |
| 2012-08-04 |
pravin@inf.ethz.ch | Userspace is working now. |
blob | commitdiff | diff to current |
| 2012-07-31 |
Stefan Kästle | Steps towards going to user-level. |
blob | commitdiff | diff to current |
| 2012-06-22 |
Raphael Fuchs | Added ID capability, providing a system-wide unique ID. |
blob | commitdiff | diff to current |
| 2012-05-22 |
Samuel Hitz | kernel and userspace now working, removed some debug... |
blob | commitdiff | diff to current |
| 2012-02-22 |
Kornilios Kourtis | merge with main tree |
blob | commitdiff | diff to current |
| 2012-02-08 |
Mark Nevill | Merged MDB rewrite. |
blob | commitdiff | diff to current |
| 2012-02-05 |
Kornilios Kourtis | newlib,x86_32: use PRI{u,x}32, PRI{u,x}PTR, etc in... |
blob | commitdiff | diff to current |
| 2012-02-03 |
Kornilios Kourtis | merge newlib tree to current |
blob | commitdiff | diff to current |
| 2012-01-26 |
Mark Nevill | Fixed bug in set_cap_remote. |
blob | commitdiff | diff to current |
| 2012-01-25 |
Mark Nevill | Adapt existing mdb functions in kernel to use new tree. |
blob | commitdiff | diff to current |
| 2012-01-23 |
Andrew Baumann | remove support for Beehive |
blob | commitdiff | diff to current |
| 2011-12-28 |
Zeus Gómez Marmolejo | Replaced caddr_t type with capaddr_t to avoid conflict... |
blob | commitdiff | diff to current |
| 2011-09-16 |
Jana Giceva | Reverted problematic size change to network stack,... |
blob | commitdiff | diff to current |
| 2011-09-14 |
Jana Giceva | snapshot |
blob | commitdiff | diff to current |
| 2011-08-02 |
Simon Peter | Merge from ASPLOS tree. |
blob | commitdiff | diff to current |
| 2011-07-08 |
Stefan Kästle | Initial version of public stable barrelfish repository. |
blob | commitdiff | diff to current |
|
projects / barrelfish / history