veyepar: MirageOS: compiling functional library operating systems

Author(s):	Anil Madhavapeddy, Richard Mortier
Location	Janson
Date	feb Sun 02	Days Raw Files
Start	13:00	First Raw Start	12:43
Duration	00:50:00	Offset	0:16:33
End	13:50	Last Raw End	13:50
Chapters	00:00 0:00:06
Total cuts_time	47 min.

State:
Locked:	clear this to unlock
Locked by:	user/process that locked.
Start:	initially scheduled time from master, adjusted to match reality
Duration:	length in hh:mm:ss
Name:	Video Title (shows in video search results)
Emails:	email(s) of the presenter(s)
Released:	has someone authorised pubication
Normalise:
Channelcopy:	m=mono, 01=copy left to right, 10=right to left, 00=ignore.
Thumbnail:	filename.png
Description:	<p>Public compute clouds provide a flexible platform to host applications as a set of appliances, e.g., web servers or databases. Each appliance usually contains an OS kernel and userspace processes, within which applications access resources via APIs such as POSIX. The flexible architecture of the cloud comes at a cost: the addition of another layer in the already complex software stack. This reduces performance and increases the size of the trusted computing base.</p> <p>Our Mirage operating system proposes a radically different way of building these appliances. Mirage supports the progressive specialisation of functional language (OCaml) application source code, and gradually replaces traditional OS components with type-safe libraries. This ultimately results in "unikernels": sealed, fixed-purpose images that run directly on a hypervisor without an intervening guest OS such as Linux.</p> markdown
Comment:	production notes

2014-02-02/11_43_27-1.dv Apply: 12:43:27 - 13:01:43 ( 00:18:16 ) S: 12:43:27 - E: 13:01:43 D: 00:18:16 show more...

vlc ~/Videos/veyepar/fosdem/fosdem_2014/dv/Janson/2014-02-02/11_43_27-1.dv :start-time=00.0 --audio-desync=0

2014-02-02/11_43_27.dv Apply: 12:43:27 - 13:01:43 ( 00:18:16 ) S: 12:43:27 - E: 13:01:43 D: 00:18:16 show more...

vlc ~/Videos/veyepar/fosdem/fosdem_2014/dv/Janson/2014-02-02/11_43_27.dv :start-time=00.0 --audio-desync=0

2014-02-02/12_01_44.dv Apply: 13:01:44 - 13:01:53 ( 00:00:09 ) S: 13:01:44 - E: 13:01:53 D: 00:00:09 show more...

vlc ~/Videos/veyepar/fosdem/fosdem_2014/dv/Janson/2014-02-02/12_01_44.dv :start-time=00.0 --audio-desync=0

2014-02-02/12_01_44-1.dv Apply: 13:01:44 - 13:01:53 ( 00:00:09 ) S: 13:01:44 - E: 13:01:53 D: 00:00:09 show more...

vlc ~/Videos/veyepar/fosdem/fosdem_2014/dv/Janson/2014-02-02/12_01_44-1.dv :start-time=00.0 --audio-desync=0

2014-02-02/12_01_53-1.dv Apply: 13:01:53 - 13:03:18 ( 00:01:25 ) S: 13:01:53 - E: 13:03:18 D: 00:01:25 show more...

vlc ~/Videos/veyepar/fosdem/fosdem_2014/dv/Janson/2014-02-02/12_01_53-1.dv :start-time=00.0 --audio-desync=0

2014-02-02/12_01_53.dv Apply: 13:03:12 - 13:03:18 ( 00:00:06 ) S: 13:01:53 - E: 13:03:18 D: 00:01:25 (Start: 1:19) show more...

vlc ~/Videos/veyepar/fosdem/fosdem_2014/dv/Janson/2014-02-02/12_01_53.dv :start-time=079.0 --audio-desync=0

2014-02-02/12_03_19-1.dv Apply: 13:03:19 - 13:50:51 ( 00:47:32 ) S: 13:03:19 - E: 13:50:51 D: 00:47:32 show more...

vlc ~/Videos/veyepar/fosdem/fosdem_2014/dv/Janson/2014-02-02/12_03_19-1.dv :start-time=00.0 --audio-desync=0

2014-02-02/12_03_19.dv Apply: 13:03:19 - 13:50:51 ( 00:47:32 ) S: 13:03:19 - E: 13:50:51 D: 00:47:32 show more...

vlc ~/Videos/veyepar/fosdem/fosdem_2014/dv/Janson/2014-02-02/12_03_19.dv :start-time=00.0 --audio-desync=0

Rf filename:	root is .../show/dv/location/, example: 2013-03-13/13:13:30.dv
Sequence:
get this:	check and save to add this