Silvano Seva 7dc2ca5524 Driver for random number generator peripheral		2023-11-02 18:36:07 +01:00
..
boot	Moved gpio.h to peripherals	2023-07-21 19:27:14 +02:00
drivers	Driver for random number generator peripheral	2023-11-02 18:36:07 +01:00
linker_script.ld	Moving to miosix kernel: boot files for MK22FN512-based targets	2021-03-13 09:16:06 +01:00