diff --git a/firmware/config/boards/proteus/board.mk b/firmware/config/boards/proteus/board.mk
index 42e56ea4ad..b0c52a0e5a 100644
--- a/firmware/config/boards/proteus/board.mk
+++ b/firmware/config/boards/proteus/board.mk
@@ -46,7 +46,7 @@ ifeq ($(PROJECT_CPU),ARCH_STM32F7)
 	DDEFS += -DSTATIC_BOARD_ID=STATIC_BOARD_ID_PROTEUS_F7
 
 	ifeq ($(EFI_LUA_LOOKUP),)
-    EFI_LUA_LOOKUP = FALSE
+    EFI_LUA_LOOKUP = TRUE
   endif
   DDEFS += -DEFI_LUA_LOOKUP=$(EFI_LUA_LOOKUP)
 
@@ -54,6 +54,8 @@ ifeq ($(PROJECT_CPU),ARCH_STM32F7)
 	ifeq ($(DEBUG_LEVEL_OPT),)
 		DEBUG_LEVEL_OPT = -Os -ggdb -g
 	endif
+	# todo: where is 512k hard-coded?
+	USE_OPT += -Wl,--defsym=FLASH_SIZE=768k
 else ifeq ($(PROJECT_CPU),ARCH_STM32F4)
 	DDEFS += -DSTATIC_BOARD_ID=STATIC_BOARD_ID_PROTEUS_F4
 else ifeq ($(PROJECT_CPU),ARCH_STM32H7)