From 1ac7b034bae7d29d279db3baf49128aa9dc82b97 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Josef=20S=C3=B6ntgen?= Date: Wed, 9 Aug 2017 11:22:05 +0200 Subject: [PATCH] launchpad: add Gpu to service list Issue #2507. --- repos/demo/src/lib/launchpad/launchpad.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repos/demo/src/lib/launchpad/launchpad.cc b/repos/demo/src/lib/launchpad/launchpad.cc index 2c56a7df2..1f0b558c2 100644 --- a/repos/demo/src/lib/launchpad/launchpad.cc +++ b/repos/demo/src/lib/launchpad/launchpad.cc @@ -39,7 +39,7 @@ Launchpad::Launchpad(Env &env, unsigned long initial_quota) "RM", "PD", "CPU", "IO_MEM", "IO_PORT", "IRQ", "ROM", "LOG", /* services expected to got started by init */ - "Nitpicker", "Init", "Timer", "Block", "Nic", "Rtc", + "Nitpicker", "Init", "Timer", "Block", "Nic", "Rtc", "Gpu", 0 /* null-termination */ };