Enable "VMCALL console putc" via flags. (XCC)
[akaros.git] / kern / include / ros / vmm.h
1 /* Copyright (c) 2015 Google Inc.
2  * Barret Rhoden <brho@cs.berkeley.edu>
3  * See LICENSE for details.
4  *
5  * 64 bit KPT helpers */
6
7 #ifndef ROS_INC_VMM_H
8 #define ROS_INC_VMM_H
9
10 #define VMM_VMCALL_PRINTF       0x1     /* Enable VMCALL output console hack */
11
12 #define VMM_ALL_FLAGS   (VMM_VMCALL_PRINTF)
13 #endif /* ROS_INC_VMM_H */