// Copyright 2017 The Fuchsia Authors. All rights reserved. | |
// Use of this source code is governed by a BSD-style license that can be | |
// found in the LICENSE file. | |
#ifndef SRC_VIRTUALIZATION_BIN_VMM_UART_H_ | |
#define SRC_VIRTUALIZATION_BIN_VMM_UART_H_ | |
#if __x86_64__ | |
#include "src/virtualization/bin/vmm/arch/x64/i8250.h" | |
using Uart = I8250Group; | |
#elif __aarch64__ | |
#include "src/virtualization/bin/vmm/arch/arm64/pl011.h" | |
using Uart = Pl011; | |
#endif // __aarch64__ | |
#endif // SRC_VIRTUALIZATION_BIN_VMM_UART_H_ |