// Copyright lowRISC contributors.
// Licensed under the Apache License, Version 2.0, see LICENSE for details.
// SPDX-License-Identifier: Apache-2.0

// This file is generated by the util/vendor script. Please do not modify it
// manually.

{
  upstream:
  {
    url: https://github.com/FreeRTOS/FreeRTOS-Kernel
    rev: 0b1e9d79c82c1bf00e93142f9d5b1b7b62446995
  }
}