From 853378960ccbc9c87479f3996dccb91831248c4d Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Fri, 13 Nov 2015 12:51:39 +0100
Subject: [PATCH] init: prevent division by zero

During the reconfiguration of init, the CPU-quota computation caused
init to produce a division-by-zero exception.
---
 repos/os/include/init/child.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/os/include/init/child.h b/repos/os/include/init/child.h
index b69170b75..f700dda5d 100644
--- a/repos/os/include/init/child.h
+++ b/repos/os/include/init/child.h
@@ -852,7 +852,7 @@ void Init::Child::Resources::transfer_cpu_quota()
 	static size_t avail = Cpu_session::quota_lim_upscale(         100, 100);
 	size_t const   need = Cpu_session::quota_lim_upscale(cpu_quota_pc, 100);
 	size_t need_adj;
-	if (need > avail) {
+	if (need > avail || avail == 0) {
 		warn_insuff_quota(Cpu_session::quota_lim_downscale(avail, 100));
 		need_adj = Cpu_session::quota_lim_upscale(100, 100);
 		avail    = 0;