Skip to content
Commit 7a68971b authored by Gian Marco Iodice's avatar Gian Marco Iodice
Browse files

Fix the header file inclusion in other kernels 



Signed-off-by: Gian Marco Iodice's avatarGian Marco Iodice <gianmarco.iodice@arm.com>
parent b717a414
Pipeline #20350 failed with stages
in 3 minutes and 9 seconds