T191: Implement prototype for new retype
[barrelfish] / kernel / syscall.c
2016-04-18 Simon GerberT191: Implement prototype for new retype
2016-02-26 Simon GerberT191: x86_64: frame_identify returns size in bytes
2016-02-11 Lukas HumbelT203 Fix null pointer for vmkit domain
2015-11-17 Simon GerberT187: x86_64: squash capability size to 64 bytes
2015-11-17 Simon GerberT187: x86_64: implement creation of mapping cap
2015-11-17 Simon GerberT187: kernel unmarshalling of mapping cap slot
2015-11-16 David CockClean merge of HP's ARMv8 code
2015-06-16 Moritz HoffmannT119: kernel: Implement cap invocation for arm, x86_32
2015-06-16 Moritz HoffmannT119: kernel: Unify debug_print_capabilities in sys_debug.c
2015-06-16 Simon GerberT119: add case when we find init rootcn in KCB.
2015-06-16 Moritz HoffmannT119: work in progress, use mdb tree call-back function...
2015-06-16 Moritz HoffmannT119: implement syscall and monitor interface to debug_...
2015-03-09 Simon Gerberkernel: Fix and deduplicate cte_for_cap().
2015-03-09 Simon GerberAdd get_absolute_time() syscall + implement std::chrono...
2014-11-26 Simon GerberMerge branch 'master' into distops
2014-11-11 Gerd ZellwegerBoot driver for ARM can now boot a pandaboard core.
2014-11-10 Gerd ZellwegerPut KCB syscalls in platform independent kernel source.
2014-10-31 Gerd ZellwegerRevert printf augmentation with core id.
2014-10-31 Gerd ZellwegerAdd case for kcb_current == to_remove.
2014-10-15 Gerd ZellwegerMerge branch coreboot.
2014-10-14 Simon GerberAdded code to make deferred events fairly accurate...
2014-10-14 Gerd ZellwegerVersion for Benchmarking.
2014-10-14 Simon GerberAdded current core_id so we can properly reroute interr...
2014-10-14 Gerd ZellwegerImplemented give.
2014-10-14 Simon GerberAdded moving kcb off shared cpu driver, currently crash...
2014-10-14 Gerd Zellwegersys_suspend addition compiles.
2014-10-14 Gerd ZellwegerUsing sys_suspend syscall to halt a core and resume...
2013-12-19 Simon GerberMerge branch 'master' into master-into-distops
2013-11-07 pravin@inf.ethz.chWebserver working for full website with LMP.
2013-11-06 pravin@inf.ethz.chWebserver working for small websites
2013-10-31 pravin@inf.ethz.chPartially working version of the modified network stack.
2013-10-24 Gerd ZellwegerRefactoring core boot-up logic in kernel.
2013-07-18 Simon GerberFixed capability system merge errors. Builds, boots...
2013-07-18 Simon GerberMerge master into distops.
2013-07-18 Mark NevillRewrote distributed revoke and delete handling.
2013-07-18 Mark NevillFixed cap locking in revoke.
2013-07-18 Mark NevillImplemented support for "give_away" transfers in capops...
2013-07-18 Mark NevillAdded individual remote relations bits for copies/ances...
2013-07-18 Mark NevillAdded basic framework for tracing in-kernel cap operati...
2013-07-18 Mark NevillFixed get/set owner invocation argument handling in...
2013-07-18 Mark NevillFixed handling of root cap lookup in some monitor invoc...
2013-07-18 Mark NevillFixed cap lock/unlock calls to allow lookup from custom...
2013-07-18 Mark NevillIntegrated delete & revoke handling.
2013-07-18 Mark NevillImplemented monitor_(un)lock_cap.
2013-07-18 Mark NevillImplemented get/set owner monitor invocations.
2013-07-18 Mark NevillAdded invocations for distcap_get_state.
2013-03-19 Kornilios KourtisNew tracing infrastructure
2013-03-15 Raphael FuchsVarious refactoring so that code complies with coding...
2013-01-29 Simon GerberRemoved old syscall vm_modify_mapping.
2013-01-29 Simon GerberNew KPI for unmap.
2013-01-29 Simon GerberNew KPI bits for map on kernel side.
2013-01-29 Simon GerberImplemented new VNode_Map syscall.
2013-01-29 Simon GerberBarrelfish (standard config) boots with 1 mapping per...
2013-01-29 Simon GerberAdded vm_modify_mapping syscall on pmem capabilities...
2012-11-08 Simon Gerberkernel: Fix zeroing out of cte in sys_monitor_nullify_cap.
2012-06-22 Raphael FuchsAdded ID capability, providing a system-wide unique ID.
2012-06-18 Raphael FuchsAdded ability to create certain capabilities at runtime...
2012-02-22 Kornilios Kourtismerge with main tree
2012-01-25 Mark NevillAdapt existing mdb functions in kernel to use new tree.
2012-01-06 Kornilios Kourtismerge newlib patches into tree
2011-12-28 Zeus Gómez MarmolejoReplaced caddr_t type with capaddr_t to avoid conflict...
2011-12-05 pravin shindep@inf... Changes to get RX benchmark working.
2011-08-02 Simon PeterMerge from ASPLOS tree.
2011-07-08 Stefan KästleInitial version of public stable barrelfish repository.