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

#include "sw/device/lib/dif/dif_pinmux.h"

#include "pinmux_regs.h"  // Generated.

// This just exists to check that the header compiles for now. The actual
// implementation is work in progress.