-- Copyright Microsoft and CHERIoT Contributors.
-- SPDX-License-Identifier: MIT

includes("../freestanding", "../compartment_helpers", "../atomic")

library("message_queue_library")
  set_default(false)
  add_deps("freestanding", "compartment_helpers", "atomic4")
  add_files("queue.cc")

compartment("message_queue")
  add_deps("message_queue_library")
  set_default(false)
  add_files("queue_compartment.cc")