1 files changed, 38 insertions, 0 deletions
diff --git a/lib/pico-sdk/rp2040/hardware/structs/tbman.h b/lib/pico-sdk/rp2040/hardware/structs/tbman.h
new file mode 100644
index 00000000..78a5f3b2
--- /dev/null
+++ b/lib/pico-sdk/rp2040/hardware/structs/tbman.h
@@ -0,0 +1,38 @@
+// THIS HEADER FILE IS AUTOMATICALLY GENERATED -- DO NOT EDIT
+
+/**
+ * Copyright (c) 2024 Raspberry Pi Ltd.
+ *
+ * SPDX-License-Identifier: BSD-3-Clause
+ */
+#ifndef _HARDWARE_STRUCTS_TBMAN_H
+#define _HARDWARE_STRUCTS_TBMAN_H
+
+/**
+ * \file rp2040/tbman.h
+ */
+
+#include "hardware/address_mapped.h"
+#include "hardware/regs/tbman.h"
+
+// Reference to datasheet: https://datasheets.raspberrypi.com/rp2040/rp2040-datasheet.pdf#tab-registerlist_tbman
+//
+// The _REG_ macro is intended to help make the register navigable in your IDE (for example, using the "Go to Definition" feature)
+// _REG_(x) will link to the corresponding register in hardware/regs/tbman.h.
+//
+// Bit-field descriptions are of the form:
+// BITMASK [BITRANGE] FIELDNAME (RESETVALUE) DESCRIPTION
+
+typedef struct {
+    _REG_(TBMAN_PLATFORM_OFFSET) // TBMAN_PLATFORM
+    // Indicates the type of platform in use
+    // 0x00000002 [1]     FPGA         (0) Indicates the platform is an FPGA
+    // 0x00000001 [0]     ASIC         (1) Indicates the platform is an ASIC
+    io_ro_32 platform;
+} tbman_hw_t;
+
+#define tbman_hw ((tbman_hw_t *)TBMAN_BASE)
+static_assert(sizeof (tbman_hw_t) == 0x0004, "");
+
+#endif // _HARDWARE_STRUCTS_TBMAN_H
+