#pragma once

#include <kernel/types.h>

uint32_t read_cmos(void);