/*
 * types.h
 *
 *  Created on: Nov 1, 2018
 *      Author: rick
 */

#ifndef KERNEL_LIBC_TYPES_H_
#define KERNEL_LIBC_TYPES_H_

#include <stdint.h>
#include <stddef.h>

#endif /* KERNEL_LIBC_TYPES_H_ */