monitor: remove old capability code
[barrelfish] / usr / monitor / monitor_rpc_server.c
2015-08-11 Simon Gerbermonitor: remove old capability code
2014-11-26 Simon GerberMerge branch 'master' into distops
2014-11-21 Simon GerberMake kernel create IPI cap which is passed to monitor.
2014-11-21 Simon GerberFactored out IPI sending invocations to their own cap...
2014-11-21 Simon GerberReplaced get_global_paddr invocation with monitor RPC...
2014-11-07 Gerd ZellwegerAdd proper error codes for failes IRQ cap invocations.
2014-10-14 Gerd ZellwegerVersion for Benchmarking.
2014-10-14 Gerd ZellwegerImplemented give.
2014-10-14 Simon GerberMoved interrupt vector allocation into cpu driver.
2014-10-14 Simon GerberFixed x86boot 'take' operation implementation.
2014-10-14 Simon GerberAdded moving kcb off shared cpu driver, currently crash...
2014-10-14 Simon GerberVarious debugging and disabled mdb sanity checks.
2014-10-14 Gerd Zellwegerx86boot can give kcb from a core to core 0.
2014-10-14 Gerd ZellwegerChange x86boot to power down cores.
2014-03-20 Simon Gerberturn off monitor and spawn client debugging.
2014-03-18 Simon Gerberfixed stuff + more output.
2013-12-19 Simon GerberMerge branch 'master' into master-into-distops
2013-10-02 Simon GerberRedesigned hw page table dumping to be an invocation...
2013-07-18 Simon GerberMerge master into distops.
2013-07-18 Mark NevillKeep cptrs right-shifted throughout capops.
2013-07-18 Mark NevillRewrote distributed revoke and delete handling.
2013-07-18 Mark NevillIncomplete cleanup of delete capop to use conts.
2013-07-18 Mark NevillRefactored retype in monitor.
2013-07-18 Mark NevillRemoved dead code from monitor_rpc_server.
2013-07-18 Mark NevillRemoved some remaining printfs from capability operations.
2013-07-18 Mark NevillAdded and fixed various debug printfs related to cap...
2013-07-18 Mark NevillMoved capops headers into monitor's include dir, added...
2013-07-18 Mark NevillDisabled cap_set_remote monitor rpc.
2013-07-18 Mark NevillIntegrated delete & revoke handling.
2013-07-16 Achermann RetoEnable user-level interrupt forwarding on ARM.
2013-06-15 Reto AchermannInterrupt Enabling for ARM
2013-06-14 Reto AchermannAdded rpc call to monitor to support interrupt handling...
2013-05-25 Reto AchermannIRQ handling with hardcoded IRQ id (ehci interrupt...
2013-01-29 Simon GerberAdded code to dump hardware page tables from user space.
2012-03-27 Gerd ZellwegerMerge with current tip.
2012-03-10 Gerd ZellwegerRequest I/O caps over monitor for PCI/ACPI.
2012-03-08 Gerd ZellwegerRequest I/O caps through RPC call.
2012-03-07 Gerd Zellwegersome changes in cap handling for acpi, but still does...
2012-02-29 Gerd ZellwegerAdded blocking call to get physical and I/O caps from...
2012-02-05 Kornilios Kourtisnewlib,x86_32: use int32_t (and not int) for message...
2012-02-03 Kornilios Kourtismerge newlib tree to current
2012-01-11 Andrew Baumannclean up and add some flexbility to mapping of APIC...
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-27 Andrew Baumannmerge
2011-12-27 Andrew BaumannRemove old routing/group communication library.
2011-12-20 Andrew Baumannmove bootinfo request messages to monitor's RPC interfa...
2011-08-02 Simon PeterMerge from ASPLOS tree.
2011-07-08 Stefan KästleInitial version of public stable barrelfish repository.