mirror of
https://github.com/cloud-hypervisor/cloud-hypervisor.git
synced 2026-08-05 02:19:16 +00:00
b2d1dd65f3
This simplifes the buld and checks with very little overhead and the fwdebug device is I/O port device on 0x402 that can be used by edk2 as a very simple character device. See: #4679 Signed-off-by: Rob Bradford <robert.bradford@intel.com>
38 lines
1.1 KiB
Rust
38 lines
1.1 KiB
Rust
// Copyright 2018 Amazon.com, Inc. or its affiliates. All Rights Reserved.
|
|
// SPDX-License-Identifier: Apache-2.0
|
|
//
|
|
// Portions Copyright 2017 The Chromium OS Authors. All rights reserved.
|
|
// Use of this source code is governed by a BSD-style license that can be
|
|
// found in the LICENSE-BSD-3-Clause file.
|
|
|
|
mod cmos;
|
|
#[cfg(target_arch = "x86_64")]
|
|
mod debug_port;
|
|
#[cfg(target_arch = "x86_64")]
|
|
mod fwdebug;
|
|
#[cfg(target_arch = "aarch64")]
|
|
mod gpio_pl061;
|
|
mod i8042;
|
|
#[cfg(target_arch = "aarch64")]
|
|
mod rtc_pl031;
|
|
mod serial;
|
|
#[cfg(target_arch = "aarch64")]
|
|
mod uart_pl011;
|
|
|
|
pub use self::cmos::Cmos;
|
|
#[cfg(target_arch = "x86_64")]
|
|
pub use self::debug_port::DebugPort;
|
|
#[cfg(target_arch = "x86_64")]
|
|
pub use self::fwdebug::FwDebugDevice;
|
|
pub use self::i8042::I8042Device;
|
|
pub use self::serial::Serial;
|
|
|
|
#[cfg(target_arch = "aarch64")]
|
|
pub use self::gpio_pl061::Error as GpioDeviceError;
|
|
#[cfg(target_arch = "aarch64")]
|
|
pub use self::gpio_pl061::Gpio;
|
|
#[cfg(target_arch = "aarch64")]
|
|
pub use self::rtc_pl031::Rtc;
|
|
#[cfg(target_arch = "aarch64")]
|
|
pub use self::uart_pl011::Pl011;
|