coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
types.h
Go to the documentation of this file.
1 #ifndef __SYS_TYPES_H__
2 #define __SYS_TYPES_H__
3 
4 #include "../types.h"
5 
6 #endif /* __SYS_TYPES_H__ */