aboutsummaryrefslogtreecommitdiff
path: root/src/sys
diff options
context:
space:
mode:
authorChristian Cunningham <cc@localhost>2022-01-02 17:28:09 -0800
committerChristian Cunningham <cc@localhost>2022-01-02 17:28:09 -0800
commit58b2bf3128192e3b937d934a81dcdfc7dc199900 (patch)
tree327f8298060cd877706d3aa1a000f0230a43c975 /src/sys
parent1d05efd6126377049f153c443fb2ca3ba8a2bb95 (diff)
Moved Postinit Information
Diffstat (limited to 'src/sys')
-rw-r--r--src/sys/core.c90
-rw-r--r--src/sys/core.h1
-rw-r--r--src/sys/kernel.S1
-rw-r--r--src/sys/timer.c59
4 files changed, 12 insertions, 139 deletions
diff --git a/src/sys/core.c b/src/sys/core.c
index fda4d86..636dd64 100644
--- a/src/sys/core.c
+++ b/src/sys/core.c
@@ -11,6 +11,7 @@
#include "../sys/schedule.h"
#include "../sys/timer.h"
#include "../util/mutex.h"
+#include "../util/status.h"
#include "../util/time.h"
#ifndef VERSION
@@ -29,7 +30,6 @@ void sysinit(void)
store32(1<<4, UART0_IMSC);
// Enable UART GPU IRQ
store32(1<<25, IRQ_ENABLE2);
-
// Enable Timer
// As an IRQ
store32(1<<0, IRQ_BASIC_ENABLE);
@@ -50,91 +50,3 @@ void sysinit(void)
enableirq();
enablefiq();
}
-
-void output_irq_status(void)
-{
- // Basic IRQ
- unsigned long ib_val = load32(IRQ_BASIC_ENABLE);
- // IRQ 1
- unsigned long i1_val = load32(IRQ_ENABLE1);
- // IRQ 2
- unsigned long i2_val = load32(IRQ_ENABLE2);
- // FIQ
- unsigned long f_val = load32(FIQ_CONTROL);
-
- // Check GPU Interrupt Routing
- unsigned long g_val = load32(GPU_INTERRUPTS_ROUTING);
- write_string(&g_Drawer, "GPU IRQ: Core ");
- write_10(&g_Drawer, g_val & 0b11);
- write_string(&g_Drawer, " | GPU FIQ: Core ");
- write_10(&g_Drawer, (g_val >> 2) & 0b11);
-
- write_string(&g_Drawer, "\n");
- write_hex32(&g_Drawer, ib_val);
- write_string(&g_Drawer, " ");
- write_hex32(&g_Drawer, i1_val);
- write_string(&g_Drawer, " ");
- write_hex32(&g_Drawer, i2_val);
- write_string(&g_Drawer, " ");
- write_hex32(&g_Drawer, f_val);
-
- // Check UART IRQ
- write_string(&g_Drawer, "\nUART: ");
- if (i2_val & (1<<25)) {
- write_cstring(&g_Drawer, "Enabled", 0x00FF00);
- } else {
- write_cstring(&g_Drawer, "Disabled", 0xFF0000);
- }
-
- // Check TIMER IRQ
- write_string(&g_Drawer, " TIMER: ");
- if (ib_val & (1<<0)) {
- write_cstring(&g_Drawer, "Enabled", 0x00FF00);
- } else {
- write_cstring(&g_Drawer, "Disabled", 0xFF0000);
- }
-}
-
-void postinit(void)
-{
- // OS Info
- write_cstring(&g_Drawer, "DendritOS", 0xFF0000);
- write_cstring(&g_Drawer, " v", 0x00FFFF);
- write_cstring(&g_Drawer, os_info_v, 0x00FFFF);
- write_string(&g_Drawer, " #");
- if (lock_mutex(&exe_cnt_m, SYS_PID) == 0) {
- write_10(&g_Drawer, *((unsigned long*)exe_cnt_m.addr));
- release_mutex(&exe_cnt_m, SYS_PID);
- }
-
- // Commands
- write_string(&g_Drawer, "\nMonitor: Ctrl-A m Exit: Ctrl-A x Timer: Ctrl-T");
-
- // GPU IRQ Statuses
- write_string(&g_Drawer, "\n");
- output_irq_status();
-
- // Timer Status
- write_string(&g_Drawer, "\nTIMER: ");
- write_cstring(&g_Drawer, "Enabled ", 0x00FF00);
- // Output the frequency
- write_string(&g_Drawer, " @ ");
- unsigned long frq = read_cntfrq()/1000;
- write_10(&g_Drawer, frq);
- write_string(&g_Drawer, " kHz");
-
- // Video Status
- write_string(&g_Drawer, "\nVIDEO: ");
- write_cstring(&g_Drawer, "Enabled ", 0x00FF00);
- write_10(&g_Drawer, width);
- write_string(&g_Drawer, "x");
- write_10(&g_Drawer, height);
- if(isrgb) {
- write_string(&g_Drawer, " RGB");
- } else {
- write_string(&g_Drawer, " BGR");
- }
-
- // Output Serial Data Recieve Line
- write_string(&g_Drawer, "\n> ");
-}
diff --git a/src/sys/core.h b/src/sys/core.h
index d70f406..2ba2f16 100644
--- a/src/sys/core.h
+++ b/src/sys/core.h
@@ -117,6 +117,5 @@ enum
};
void sysinit(void);
-void postinit(void);
#endif
diff --git a/src/sys/kernel.S b/src/sys/kernel.S
index cf1dbb2..a691ebf 100644
--- a/src/sys/kernel.S
+++ b/src/sys/kernel.S
@@ -4,7 +4,6 @@
kernel_main:
push {lr}
bl sysinit
- bl postinit
kernel_main.loop:
wfe
b kernel_main.loop
diff --git a/src/sys/timer.c b/src/sys/timer.c
index c3ae53b..9419f80 100644
--- a/src/sys/timer.c
+++ b/src/sys/timer.c
@@ -3,69 +3,32 @@
#include "../sys/core.h"
#include "../sys/timer.h"
#include "../util/mutex.h"
+#include "../util/status.h"
#include "../util/time.h"
/// Cycles Per Second
#define CPS 10
-#define SYS_TIMER_C
extern char* os_info_v;
-unsigned long exe_cnt = 0;
+#define SYS_TIMER_C
+static unsigned long exe_cnt = 0;
struct Mutex exe_cnt_m = {.addr = &exe_cnt, .pid = NULL_PID};
-void c_timer(void)
+void increase_counter(void)
{
- // Reset the counter
- write_cntv_tval(cntfrq/CPS);
-
- unsigned int x = g_Drawer.x;
- unsigned int y = g_Drawer.y;
- g_Drawer.x = 0;
- g_Drawer.y = 0;
-
- // Lock the execution counter
if (lock_mutex(&exe_cnt_m, SCHED_PID) == 0) {
unsigned long* counter = (unsigned long*)exe_cnt_m.addr;
*counter += 1;
- write_cstring(&g_Drawer, "DendritOS", 0xFF0000);
- write_cstring(&g_Drawer, " v", 0x00FFFF);
- write_cstring(&g_Drawer, os_info_v, 0x00FFFF);
- write_string(&g_Drawer, " #");
- write_10(&g_Drawer, *((unsigned long*)exe_cnt_m.addr));
release_mutex(&exe_cnt_m, SCHED_PID);
}
+}
- g_Drawer.x = 29;
- g_Drawer.y = 5;
- // Output the value
- unsigned long v = read_cntv_tval();
- write_10(&g_Drawer, v);
- write_string(&g_Drawer, " | ");
- write_hex32(&g_Drawer, v);
-
- g_Drawer.x = 0;
- g_Drawer.y = 9;
- for(int i = 0; i < 128; i++)
- write_char(&g_Drawer, ' ');
- g_Drawer.x = 0;
- g_Drawer.y = 9;
- write_string(&g_Drawer, "Timer Counter: ");
- if (exe_cnt_m.pid == NULL_PID) {
- write_cstring(&g_Drawer, "Free!", 0xFF00FF);
- } else {
- write_cstring(&g_Drawer, "Locked by ", 0xFF00FF);
- if (exe_cnt_m.pid == SYS_PID)
- write_cstring(&g_Drawer, "System", 0xFF00FF);
- else if (exe_cnt_m.pid == SCHED_PID)
- write_cstring(&g_Drawer, "Scheduler", 0xFF00FF);
- else {
- write_cstring(&g_Drawer, "Process ", 0xFF00FF);
- write_c10(&g_Drawer, exe_cnt_m.pid, 0xFF00FF);
- }
- write_cchar(&g_Drawer, '!', 0xFF00FF);
- }
+void c_timer(void)
+{
+ // Reset the counter
+ write_cntv_tval(cntfrq/CPS);
- g_Drawer.x = x;
- g_Drawer.y = y;
+ increase_counter();
+ status();
}