From 909c4c9ffc7e0b6f4a880b90a6b1c4f03088f406 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Thu, 12 Nov 2015 18:30:26 +0100
Subject: [PATCH] os: define storage type of rgb888 as 32-bit value

The original version used unsigned long as storage type, which wasted
memory on 64-bit machines.
---
 repos/os/include/os/pixel_rgb888.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/os/include/os/pixel_rgb888.h b/repos/os/include/os/pixel_rgb888.h
index f0101b613..296b9f648 100644
--- a/repos/os/include/os/pixel_rgb888.h
+++ b/repos/os/include/os/pixel_rgb888.h
@@ -18,7 +18,7 @@
 
 namespace Genode {
 
-	typedef Pixel_rgba<unsigned long, Surface_base::RGB888,
+	typedef Pixel_rgba<uint32_t, Surface_base::RGB888,
 	                  0xff0000, 16, 0xff00, 8, 0xff, 0, 0, 0>
 	        Pixel_rgb888;