1 files changed, 27 insertions, 0 deletions
diff --git a/pw_chrono_rp2040/public/pw_chrono_rp2040/system_clock_inline.h b/pw_chrono_rp2040/public/pw_chrono_rp2040/system_clock_inline.h
new file mode 100644
index 000000000..f023934e5
--- /dev/null
+++ b/pw_chrono_rp2040/public/pw_chrono_rp2040/system_clock_inline.h
@@ -0,0 +1,27 @@
+// Copyright 2023 The Pigweed Authors
+//
+// Licensed under the Apache License, Version 2.0 (the "License"); you may not
+// use this file except in compliance with the License. You may obtain a copy of
+// the License at
+//
+//     https://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
+// WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
+// License for the specific language governing permissions and limitations under
+// the License.
+#pragma once
+
+#include "pico/time.h"
+#include "pw_chrono/system_clock.h"
+
+namespace pw::chrono::backend {
+
+inline int64_t GetSystemClockTickCount() {
+  // While it's probably possible to get a more granular clock, the 64-bit
+  // microsecond hardware timer is sufficient.
+  return time_us_64();
+}
+
+}  // namespace pw::chrono::backend