Compare commits

..

No commits in common. "7ac571809a6ae6eca3eca3c07a1283b53e082c46" and "31ecdffa7eca76468ed8440453c37ec18810a5ab" have entirely different histories.

2 changed files with 1 additions and 1 deletions

View file

@ -1,6 +1,5 @@
#ifndef KERNEL_CONFIG_H #ifndef KERNEL_CONFIG_H
#define KERNEL_CONFIG_H #define KERNEL_CONFIG_H
/* /*
* Number of CPU's For now, this is hard-coded here. It will likely be * Number of CPU's For now, this is hard-coded here. It will likely be
* dynamically discovered in the future. * dynamically discovered in the future.

View file

@ -1,3 +1,4 @@
#include "stdio.h"
#include <assert.h> #include <assert.h>
#include <rtc.h> #include <rtc.h>
#include <stdint.h> #include <stdint.h>