tree bbd89679ebbd1ada4e0b7f2f0a2e8524c6fddb28
parent 5d26b5e27658f04b3948b7d2b4ba34b6475b9dd3
author Bruno Martins <bgcngm@gmail.com> 1688085260 +0100
committer Bruno Martins <bgcngm@gmail.com> 1690793888 +0100

hal: Include ipc headers from agm and pal

Change-Id: I80d59fe48f59a6700fcad87becde6639d28c843b