summaryrefslogtreecommitdiff
path: root/include
AgeCommit message (Expand)Author
2020-07-09Merge branch 'master-user_level_drivers2' into master-user_level_drivers2-debianSamuel Thibault
2020-07-09Merge branch 'master-user_level_drivers-debian' into master-user_level_driver...Samuel Thibault
2020-07-09Fix RPC interfaceDamien Zammit
2020-07-09Fix RPC interfaceDamien Zammit
2020-07-09Merge branch 'master-user_level_drivers' into master-user_level_drivers-debianSamuel Thibault
2020-07-09Merge branch 'master' into master-user_level_driversSamuel Thibault
2020-07-09Add vm_allocate_contiguous RPCSamuel Thibault
2020-07-09Add experimental RPC infrastructureSamuel Thibault
2020-07-05Making vm_allocate_contiguous return a memory object is not really a prioritySamuel Thibault
2020-03-2964bit: Fix format warningsSamuel Thibault
2020-03-28include/mach/xen.h: Add 64bit variantSamuel Thibault
2020-03-09Merge branch 'master-user_level_drivers' into master-user_level_drivers-debianSamuel Thibault
2020-03-09Merge branch 'master' into master-user_level_driversSamuel Thibault
2020-03-09Clean exposition of interface to userlandSamuel Thibault
2020-01-28Set time_t type to 64bitSamuel Thibault
2019-11-12Merge branch 'master-user_level_drivers' into master-user_level_drivers-debianSamuel Thibault
2019-11-12Move most user interrupt management to device/intr.cSamuel Thibault
2019-11-12Fix build warningsSamuel Thibault
2019-11-11Merge branch 'master-user_level_drivers' into master-user_level_drivers-debianSamuel Thibault
2019-11-11Merge branch 'master' into master-user_level_driversSamuel Thibault
2019-10-27patch: add last_processor to thread info structuresAlmudena Garcia
2018-11-03Add vm_object_sync supportSamuel Thibault
2018-11-03Fix typoSamuel Thibault
2018-03-03Avoid old typeSamuel Thibault
2018-01-28Add const MIG typesSamuel Thibault
2017-01-02For now DDE is not committed into the main upstream branchSamuel Thibault
2017-01-02Merge branch 'master' into master-user_level_driversSamuel Thibault
2016-12-24VM: add the vm_wire_all callRichard Braun
2016-11-01include: Fix new task notifications.Justus Winter
2016-10-13Make task notification ports mutable.Justus Winter
2016-10-03Remove deprecated external memory management interface.Justus Winter
2016-10-02Merge branch 'master' into HEADSamuel Thibault
2016-04-15Lightweight synchronization mechanismAgustina Arzille
2016-04-05Fix bootstraping issues with stdint.h.Flavio Cruz
2016-04-04Use uint32_t instead of unsigned32_t.Flavio Cruz
2016-02-26include: avoid generating unused client stubsJustus Winter
2016-02-22Remove kmem cache flags from the debugging interfaceRichard Braun
2015-09-19Add macros to convert between time_value_t and timespecFlávio Cruz
2015-09-07kern: use proper memory fences when handling the mapped timeJustus Winter
2015-07-25include: provide time-value substractionJustus Winter
2015-07-09Allow non-privileged tasks to wire 64KiB task memorySamuel Thibault
2015-05-20ipc: replace the IPC table with a radix treeJustus Winter
2015-01-02include: Fix typos in comments (found by codespell)Stefan Weil
2014-12-09include: add X_IMPORTS to ipc definitionsJustus Winter
2014-12-09kern: provide notifications about new tasksJustus Winter
2014-12-09Retire procedure `old_mach_port_get_receive_status'Justus Winter
2014-11-28include: make `mach_port_t' payload-awareJustus Winter
2014-11-03include: add a payload-aware intran mutator for device_tJustus Winter
2014-11-03include: add a payload-aware intran mutator for notify_port_tJustus Winter
2014-11-03include: add a payload-aware intran mutator for memory_object_tJustus Winter