From 5cea65e807fc3f32862ccc0e011e2d5e1b0d68a7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Nicol=C3=A1s=20Ortega=20Froysa?=
 <nortega@themusicinnoise.net>
Date: Wed, 11 Apr 2018 20:54:13 +0200
Subject: [PATCH] Check for data types.

---
 CMakeLists.txt | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 82eaa2a..4df07b4 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -35,6 +35,14 @@ set(CMAKE_ASM_FLAGS "")
 set(CMAKE_ASM_FLAGS_DEBUG "-g")
 set(CMAKE_ASM_FLAGS_RELEASE "")
 
+set(CMAKE_EXE_LINKER_FLAGS "-ffreestanding -nostdlib")
+
+# perform data type checks
+include(CheckTypeSize)
+check_type_size("uint32_t" UINT32_T)
+check_type_size("uint16_t" UINT16_T)
+check_type_size("uint8_t" UINT8_T)
+
 include_directories(
 	"src/")
 
@@ -52,7 +60,7 @@ if(${CMAKE_SYSTEM_PROCESSOR} MATCHES "i.86")
 		src/kernel/arch/x86/paging.c
 		src/kernel/arch/x86/tty.c)
 	set(CMAKE_EXE_LINKER_FLAGS
-		"-T ${CMAKE_CURRENT_SOURCE_DIR}/src/kernel/arch/x86/linker.ld -ffreestanding -nostdlib")
+		"-T ${CMAKE_CURRENT_SOURCE_DIR}/src/kernel/arch/x86/linker.ld ${CMAKE_EXE_LINKER_FLAGS}")
 	include_directories(
 		"src/kernel/arch/x86/")
 endif()