1 // Copyright 2018 Amazon.com, Inc. or its affiliates. All Rights Reserved. 2 // SPDX-License-Identifier: Apache-2.0 3 // 4 // Portions Copyright 2017 The Chromium OS Authors. All rights reserved. 5 // Use of this source code is governed by a BSD-style license that can be 6 // found in the LICENSE-BSD-3-Clause file. 7 8 mod cmos; 9 #[cfg(target_arch = "x86_64")] 10 mod debug_port; 11 #[cfg(target_arch = "x86_64")] 12 mod fwdebug; 13 #[cfg(target_arch = "aarch64")] 14 mod gpio_pl061; 15 mod i8042; 16 #[cfg(target_arch = "aarch64")] 17 mod rtc_pl031; 18 mod serial; 19 #[cfg(target_arch = "aarch64")] 20 mod uart_pl011; 21 22 pub use self::cmos::Cmos; 23 #[cfg(target_arch = "x86_64")] 24 pub use self::debug_port::DebugPort; 25 #[cfg(target_arch = "x86_64")] 26 pub use self::fwdebug::FwDebugDevice; 27 #[cfg(target_arch = "aarch64")] 28 pub use self::gpio_pl061::Error as GpioDeviceError; 29 #[cfg(target_arch = "aarch64")] 30 pub use self::gpio_pl061::Gpio; 31 pub use self::i8042::I8042Device; 32 #[cfg(target_arch = "aarch64")] 33 pub use self::rtc_pl031::Rtc; 34 pub use self::serial::Serial; 35 #[cfg(target_arch = "aarch64")] 36 pub use self::uart_pl011::Pl011; 37