T191: Implement prototype for new retype
[barrelfish] / kernel / include / syscall.h
2016-04-18 Simon GerberT191: Implement prototype for new retype
2016-02-26 Simon GerberT191: x86_64: frame_identify returns size in bytes
2015-11-17 Simon GerberT187: kernel unmarshalling of mapping cap slot
2015-06-16 Moritz HoffmannT119: kernel, spawnd, fish: Use dispatcher invocations...
2015-06-16 Moritz HoffmannT119: implement syscall and monitor interface to debug_...
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-14 Simon GerberAdded moving kcb off shared cpu driver, currently crash...
2014-10-14 Gerd ZellwegerUsing sys_suspend syscall to halt a core and resume...
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 NevillImplemented monitor_delete_foreign invocation.
2013-07-18 Mark NevillRewrote distributed revoke and delete handling.
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 NevillFixed get/set owner invocation argument handling in...
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-01-29 Simon GerberRemoved old syscall vm_modify_mapping.
2013-01-29 Simon GerberImplemented new VNode_Map syscall.
2013-01-29 Simon GerberAdded vm_modify_mapping syscall on pmem capabilities...
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...
2011-12-28 Zeus Gómez MarmolejoReplaced caddr_t type with capaddr_t to avoid conflict...
2011-07-08 Stefan KästleInitial version of public stable barrelfish repository.