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.
2015-11-12 18:30:26 +01:00 · 2015-11-12 18:30:26 +01:00 · 909c4c9ffc
parent f655ac31f7
commit 909c4c9ffc
1 changed files with 1 additions and 1 deletions
--- 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;