src/devices/bind/fuchsia.hardkernel.platform/fuchsia.hardkernel.platform.bind

// 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.hardkernel.platform;

extend uint fuchsia.BIND_PLATFORM_DEV_VID {
  HARDKERNEL = 0x07,
};