diff --git a/common/hw-gfx-framebuffer_filler.adb b/common/hw-gfx-framebuffer_filler.adb
index 250d903..29c7da6 100644
--- a/common/hw-gfx-framebuffer_filler.adb
+++ b/common/hw-gfx-framebuffer_filler.adb
@@ -17,6 +17,8 @@
 pragma Elaborate_All (HW.MMIO_Range);
 
 package body HW.GFX.Framebuffer_Filler
+with
+   Refined_State => (State => FB.State, Base_Address => FB.Base_Address)
 is
 
    type FB_Index is new Natural range