15 commits

Author	SHA1	Message	Date
Hannes Mehnert	c8f1030403	rename Vm to Unikernel	2018-11-13 01:02:05 +01:00
Hannes Mehnert	85372b0c7e	rework resources: now block, vms, and policies are in separate tries	2018-11-13 00:06:43 +01:00
Hannes Mehnert	2e7f2730a2	move Vm to submodule	2018-11-11 03:24:50 +01:00
Hannes Mehnert	561ba5c5df	put Policy in a submodule	2018-11-11 03:09:37 +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	79068c8abf	error logging on error in handle_command	2018-11-03 00:04:47 +01:00
Hannes Mehnert	9f674f7e6f	forgot loop on this exit in add_policy	2018-11-01 01:23:45 +01:00
Hannes Mehnert	7c34c61d43	vmmd_tls needs looping behaviour after adding a policy to start vm	2018-10-31 23:03:30 +01:00
Hannes Mehnert	c669be8e02	address most of @cfcs comments	2018-10-29 17:14:51 +01:00
Hannes Mehnert	2b85c65dd8	minor fixes from testing: do not require vm to be present for force-create, fix id generation in vmm_tls, use 32mb memory for unikernels by default	2018-10-28 23:06:15 +01:00
Hannes Mehnert	8ab37d6b3b	resources: remove_vm and remove_policy - no need to intertwine into a single remove	2018-10-28 19:50:48 +01:00
Hannes Mehnert	7b8f2cf802	add policy does nothing when received policy is equal to stored one	2018-10-28 19:41:06 +01:00
Hannes Mehnert	a60f866f70	fewer lists, read replies (to sockets) in vmmd	2018-10-26 21:30:54 +02:00
Hannes Mehnert	a064c7f58e	move more stuff around	2018-10-26 21:29:59 +02:00

Renamed from src/vmm_engine.ml (Browse further)