// Copyright 2020 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.

library fuchsia.kernel;

using zx;

/// Protocol for providing a `ZX_RSRC_KIND_SYSTEM` with base
/// `ZX_RSRC_SYSTEM_DEBUG_BASE`.
[Discoverable]
protocol DebugResource {
    /// Get a debug resource handle as `debug_resource`.
    Get() -> (zx.handle:RESOURCE debug_resource);
};