nixos-riscv/dts/lagarto_ox.h

/* CPU is at 50 MHz */
#define CPU_CLOCK_FREQUENCY	50000000

/* The RTC timer is clocked at the CPU frequency / 1525, so
 * around 32786.88 Hz */
#define RTC_CLOCK_FREQUENCY	32786

#define UART_SPEED		115200
#define UART0_ADDR		0x40001000
#define UART0_ADDR_HEX		  40001000

#define PLIC_ADDR		0x40800000
#define UART_ADDR		0x40001000
Move clock comments to lagarto_ox.h 2024-09-05 17:12:35 +02:00			`/* CPU is at 50 MHz */`
			`#define CPU_CLOCK_FREQUENCY 50000000`

			`/* The RTC timer is clocked at the CPU frequency / 1525, so`
			`* around 32786.88 Hz */`
Define DT constants in a C header file Allows writing baremetal programs that can read the correct offsets of devices or clock frequencies. 2024-09-05 16:59:06 +02:00			`#define RTC_CLOCK_FREQUENCY 32786`

			`#define UART_SPEED 115200`
			`#define UART0_ADDR 0x40001000`
			`#define UART0_ADDR_HEX 40001000`

			`#define PLIC_ADDR 0x40800000`
			`#define UART_ADDR 0x40001000`