mirror of
https://github.com/genodelabs/genode.git
synced 2025-06-21 16:39:39 +00:00
committed by
Christian Helmuth
parent
9c17c83bf1
commit
13fb51eecf
@ -13,7 +13,7 @@
|
||||
|
||||
/* Genode includes */
|
||||
#include <base/service.h>
|
||||
#include <drivers/trustzone.h>
|
||||
#include <drivers/defs/imx53_trustzone.h>
|
||||
|
||||
/* Core includes */
|
||||
#include <platform.h>
|
||||
|
Reference in New Issue
Block a user