1 /*
2  * Kernel image loading.
3  *
4  * Copyright (C) 2011 Citrix Systems, Inc.
5  */
6 #ifndef __ARCH_ARM_KERNEL_H__
7 #define __ARCH_ARM_KERNEL_H__
8 
9 #include <asm/domain.h>
10 
11 struct arch_kernel_info
12 {
13 #ifdef CONFIG_ARM_64
14     enum domain_type type;
15 #endif
16 
17     /* Enable pl011 emulation */
18     bool vpl011;
19 };
20 
21 #endif /* #ifdef __ARCH_ARM_KERNEL_H__ */
22 
23 /*
24  * Local variables:
25  * mode: C
26  * c-file-style: "BSD"
27  * c-basic-offset: 4
28  * indent-tabs-mode: nil
29  * End:
30  */
31