Index of /people/dvrabel

	Name	Last modified	Size	Description
	Parent Directory		-
	3336.png	2015-02-03 11:45	20K
	bar2_comp.png	2015-04-20 16:47	32K
	bar_normal_busy.png	2015-04-20 16:47	29K
	domain-save-format-B.pdf	2014-02-10 16:46	172K
	domain-save-format-C.pdf	2014-02-27 15:48	266K
	domain-save-format-D.pdf	2014-03-04 15:59	263K
	event-channels-A.pdf	2013-02-04 18:30	216K
	event-channels-B.pdf	2013-02-15 14:13	235K
	event-channels-C.pdf	2013-03-19 20:19	237K
	event-channels-D.pdf	2013-08-09 16:48	239K
	event-channels-E.pdf	2013-09-13 15:51	238K
	event-channels-F.pdf	2013-09-27 10:09	239K
	event-channels-G.pdf	2013-10-31 14:28	243K
	event-channels-H.pdf	2013-11-11 11:34	244K
	evtchn-device-scalability.png	2013-07-19 14:29	69K
	evtchn-scalability.png	2015-06-09 13:53	99K
	grant-improvements-B.pdf	2014-10-13 13:36	196K
	grant-improvements-C.pdf	2015-01-07 16:08	196K
	inter-domain-comms-C.pdf	2013-06-11 17:58	252K
	interview-questions/	2016-09-19 15:21	-
	revokable-grants-B.pdf	2016-01-25 17:19	200K
	ticket-locks/	2015-04-30 15:27	-