Rename printk() to printf().

[pintos-anon] / src / lib / stdbool.h

diff --git a/src/lib/stdbool.h b/src/lib/stdbool.h
new file mode 100644 (file)
index 0000000..45fc515
--- /dev/null
+++ b/src/lib/stdbool.h
@@ -0,0 +1,9 @@
+#ifndef LIB_STDBOOL_H
+#define LIB_STDBOOL_H
+
+#define bool   _Bool
+#define true   1
+#define false  0
+#define __bool_true_false_are_defined  1
+
+#endif /* lib/stdbool.h */