10 commits

Author	SHA1	Message	Date
Hannes Mehnert	16f06216ba	vmmd: fine grained output handling, gracefully handle Failure from console	2019-01-27 16:07:53 +01:00
Hannes Mehnert	943ea45e25	vmm_vmmd, vmm_unix: compute device name (/dev/vmm/solo5-PID) in vmm_unix (depending on host OS); also destroy this device on shutdown (used to be done by solo5-hvt, but that now drops privileges and is no longer able to do this)	2019-01-20 23:02:01 +01:00
Hannes Mehnert	c372c8405e	vmmd: dump state (unikernel configurations) on create+destroy, restore from state on startup	2019-01-20 22:17:59 +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	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	a08f35ee5e	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	9ec69e23cc	rename Vmm_commands to Vmm_unix	2018-07-07 23:14:49 +02:00

Renamed from src/vmm_commands.mli (Browse further)