src/include/boot/tables.h


1
2
3
4
5
6
7
8

#ifndef BOOT_TABLES_H
#define BOOT_TABLES_H

#include <boot/coreboot_tables.h>

void write_tables(void);

#endif /* BOOT_TABLES_H */