index
:
xen/xen
master
stable-4.0
stable-4.1
stable-4.2
stable-4.3
staging
staging-4.0
staging-4.1
staging-4.2
staging-4.3
xen
James
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
extras
/
mini-os
/
include
/
events.h
Commit message (
Expand
)
Author
Age
Files
Lines
*
mini-os/tpmback: add tpmback_get_peercontext
Daniel De Graaf
2013-04-12
1
-0
/
+1
*
stubdom: fixes to compile with qemu-xen
Keir Fraser
2008-07-10
1
-1
/
+1
*
minios: PIRQ and MSI/MSI-X support
Keir Fraser
2008-07-02
1
-0
/
+1
*
minios: add proper shutdown facilities
Keir Fraser
2008-06-09
1
-0
/
+1
*
[Mini-OS] Make bind_virq return the port
Keir Fraser
2007-11-23
1
-1
/
+1
*
[MINIOS] Improved unbind_all_ports().
kfraser@localhost.localdomain
2006-11-30
1
-0
/
+1
*
[MINIOS] Event channel hypercall update for 64-bit guests.
kfraser@localhost.localdomain
2006-11-17
1
-1
/
+1
*
[MINIOS] Fix to use new event-channel API properly.
kaf24@firebug.cl.cam.ac.uk
2006-09-15
1
-4
/
+3
*
[MINI-OS] Add evtchn_bind_interdomain to mini-os, allowing clients to
sos22@douglas.cl.cam.ac.uk
2006-07-28
1
-0
/
+3
*
[MINI-OS] Extend alloc_unbound so that the remote domain isn't always dom0.
sos22@douglas.cl.cam.ac.uk
2006-07-28
1
-2
/
+2
*
[MINI-OS] Clean up event channel types in mini-os.
sos22@douglas.cl.cam.ac.uk
2006-07-28
1
-10
/
+10
*
[MINI-OS] unbind_virq is broken and nobody uses it. Remove it.
sos22@douglas.cl.cam.ac.uk
2006-07-28
1
-1
/
+0
*
[MINIOS]Events handling cleaned up. The interface extended to provide
kfraser@localhost.localdomain
2006-07-05
1
-17
/
+7
*
Merge in the newer Xenbus implementation from Linux to the Mini-OS. The new
kaf24@firebug.cl.cam.ac.uk
2005-12-08
1
-2
/
+4
*
I've created a patch to get the mini-os to compile in Xen-unstable. The patch
kaf24@firebug.cl.cam.ac.uk
2005-10-27
1
-1
/
+1
*
Xenbus implementation ported from Linux to Mini-os, simple thread support int...
kaf24@firebug.cl.cam.ac.uk
2005-09-09
1
-0
/
+11
*
Mini-os updates from Grzegorz Milos.
kaf24@firebug.cl.cam.ac.uk
2005-07-06
1
-0
/
+44