16 Commits

Author	SHA1	Message	Date
Hannes Mehnert	dfd22be62b	Vmm_unix: don't reset image of a config	2019-01-20 20:35:55 +01:00
Hannes Mehnert	accb21b8b7	Vmm_unix.exec: rename vm to config	2019-01-20 20:35:26 +01:00
Hannes Mehnert	15e1f5ecf6	vmm_unix: ensure lazy uname being called only once	2019-01-20 20:28:51 +01:00
Hannes Mehnert	7b8f8fafbd	close fd early, no need to carry file descriptors around	2019-01-20 17:43:44 +01:00
Hannes Mehnert	030f5aa379	vmm_unix, create_block: first create file, and then truncate	2018-12-07 00:07:16 +01:00
Hannes Mehnert	c8f1030403	rename Vm to Unikernel	2018-11-13 01:02:05 +01:00
Hannes Mehnert	2e7f2730a2	move Vm to submodule	2018-11-11 03:24:50 +01:00
Hannes Mehnert	89a1d30154	cleanups in respect to directories and scope	2018-11-11 02:33:00 +01:00
Hannes Mehnert	43379d6d9d	rename Vmm_core.id to Vmm_core.Name.t and make it private - also check constructors to fit into 20 chars ldh (and in Vmm_tls max depth = 10)	2018-11-11 01:44:31 +01:00
Hannes Mehnert	6dcde8eb68	block device support	2018-11-11 00:01:56 +01:00
Hannes Mehnert	ce0c42fa77	more cleanups	2018-10-26 21:29:59 +02:00
Hannes Mehnert	c399501a18	get rid of vm_config.vname	2018-10-26 21:29:59 +02:00
Hannes Mehnert	e413b8c99a	remove naming struggle in vm_config and Log.hdr	2018-10-26 21:29:59 +02:00
Stefan Grundmann	4c5a795a3b	console fifos in separate directory	2018-10-07 01:24:33 +00:00
Hannes Mehnert	02f8d94db8	s/ukvm/hvt/	2018-09-21 22:31:04 +02:00
Hannes Mehnert	9ec69e23cc	rename Vmm_commands to Vmm_unix	2018-07-07 23:14:49 +02:00

Renamed from src/vmm_commands.ml (Browse further)