#include <stdint.h>
#include <stdlib.h>
#include <string.h>
+#include "config.h"
#include "cli.h"
#include "dump.h"
#include "uart_lowlevel.h"
#include "shavs.h"
#include "nessie_hash_test.h"
#include "performance_test.h"
-#include "hfal-nessie.h"
-#include "hfal-performance.h"
-#include "hfal-test.h"
+#include "hfal/hfal-nessie.h"
+#include "hfal/hfal-performance.h"
+#include "hfal/hfal-test.h"
#include "keccak.h"
-#include "hfal_keccak.h"
+#include "hfal/hfal_keccak.h"
void uart0_putc(char byte){
uart_putc(UART_0, byte);
};
int main(void) {
- sysclk_set_80MHz();
+ sysclk_set_freq(SYS_FREQ);
sysclk_mosc_verify_enable();
uart_init(UART_0, 115200, 8, UART_PARATY_NONE, UART_STOPBITS_ONE);
gptm_set_timer_32periodic(TIMER0);