1// SPDX-License-Identifier: GPL-3.0-only 2//! Physical device registry subcategory for [`KState`]. 3//! 4//! Authors: MarioS271 5 6/// Holds state for all registered physical (hardware) devices. 7pub struct Devs { 8 9}