mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-18 18:56:29 +00:00
parent
dfe95b26c8
commit
16b4e7d73a
@ -15,6 +15,7 @@
|
||||
#ifndef _INCLUDE__PLATFORM__PBXA9__PL011_DEFS_H_
|
||||
#define _INCLUDE__PLATFORM__PBXA9__PL011_DEFS_H_
|
||||
|
||||
#include <base/stdint.h>
|
||||
#include <platform/vea9x4/bus.h>
|
||||
#include <drivers/board_base.h>
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user