Fixed some bugs and changed ASCII logo

2019-09-14 00:38:11 +02:00
parent a0809ba70b
commit c020b7270f
7 changed files with 21 additions and 20 deletions
--- a/kernel/drivers/timer.h
+++ b/kernel/drivers/timer.h
@@ -33,7 +33,7 @@
 void init_timer(uint32_t frequency);
 uint32_t tick;
 /* Since regs parameter(from timer_callback) will be unused
- * GCC(with -Werror flag) will dump an error, so we avoid this
+ * GCC(with -Werror flag) will throw an error, so we can avoid this
 * using the following macro
 */
 #define UNUSED_PAR(x) (void)(x)