/* libhw/rp2040_bootclock.c - <libhw/generic/bootclock.h> implementation for pico-sdk
 *
 * Copyright (C) 2024  Luke T. Shumaker <lukeshu@lukeshu.com>
 * SPDX-License-Identifier: AGPL-3.0-or-later
 */

#include <hardware/timer.h> /* pico-sdk:hardware_timer */

#include <libhw/generic/bootclock.h>

uint64_t bootclock_get_ns(void) {
	return time_us_64()*(NS_PER_S/US_PER_S);
}