// 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 GARNET_BIN_GUEST_VMM_UART_H_
#define GARNET_BIN_GUEST_VMM_UART_H_

#if __x86_64__

#include "garnet/bin/guest/vmm/arch/x64/i8250.h"

using Uart = I8250Group;

#elif __aarch64__

#include "garnet/bin/guest/vmm/arch/arm64/pl011.h"

using Uart = Pl011;

#endif  // __aarch64__

#endif  // GARNET_BIN_GUEST_VMM_UART_H_