Files
SUB-OS/kernel/printk.c
T
subhobhai943 7b646c8cc4 feat(arch): Add armv8i (32-bit ARM/AArch32) architecture & complete TUI configurator
- Support ARMv8i / ARM32 (AArch32) baremetal target with arm-linux-gnueabihf toolchain
- Implement ARMv8i boot entry point, banked exception mode stacks (IRQ, ABT, UND, SVC)
- Implement 8 exception vectors, GICv2 distributor/CPU interface, CP15 Generic Timer (100 Hz), flat Section MMU
- Support PL011 UART for early console & interactive LazyBox TTY input
- Update Makefile with make armv8i_defconfig and automated cross-compilation
- Update scripts/kconfig/menuconfig.py with dedicated armv8i options
2026-08-18 11:13:23 +05:30

99 lines
2.5 KiB
C

#include <kernel/printk.h>
#include <drivers/tty.h>
#include <drivers/serial.h>
#include <lib/printf.h>
#include <lib/string.h>
#include <kernel/sync.h>
#define DMESG_BUFFER_SIZE 65536 // 64 KB Ring Buffer
static char dmesg_buffer[DMESG_BUFFER_SIZE];
static size_t dmesg_head = 0;
static size_t dmesg_total = 0;
static spinlock_t printk_lock = SPINLOCK_INIT;
void printk_init(void) {
memset(dmesg_buffer, 0, sizeof(dmesg_buffer));
dmesg_head = 0;
dmesg_total = 0;
}
static void dmesg_append(const char* str, size_t len) {
for (size_t i = 0; i < len; i++) {
dmesg_buffer[dmesg_head] = str[i];
dmesg_head = (dmesg_head + 1) % DMESG_BUFFER_SIZE;
if (dmesg_total < DMESG_BUFFER_SIZE) {
dmesg_total++;
}
}
}
int vprintk(const char* fmt, va_list args) {
char buffer[1024];
int len = vsnprintf(buffer, sizeof(buffer), fmt, args);
if (len <= 0) return 0;
spin_lock(&printk_lock);
// Skip loglevel prefix if present (e.g. "\0016")
const char* display_ptr = buffer;
if (buffer[0] == '\001' && buffer[1] >= '0' && buffer[1] <= '7') {
display_ptr += 2;
len -= 2;
}
// 1. Output to active TTY console
tty_write(display_ptr, (size_t)len);
// 2. Output to serial console (COM1 on x86, PL011 on ARM/AArch64)
#if defined(__aarch64__) || defined(__arm__) || defined(__armv8i__)
extern void uart_pl011_putc(char c);
for (int i = 0; i < len; i++) {
uart_pl011_putc(display_ptr[i]);
}
#else
for (int i = 0; i < len; i++) {
serial_write_char(display_ptr[i]);
}
#endif
// 3. Store in kernel dmesg ring buffer
dmesg_append(display_ptr, (size_t)len);
spin_unlock(&printk_lock);
return len;
}
int printk(const char* fmt, ...) {
va_list args;
va_start(args, fmt);
int ret = vprintk(fmt, args);
va_end(args);
return ret;
}
int kprintf(const char* fmt, ...) {
va_list args;
va_start(args, fmt);
int ret = vprintk(fmt, args);
va_end(args);
return ret;
}
void dmesg_dump(void) {
spin_lock(&printk_lock);
if (dmesg_total < DMESG_BUFFER_SIZE) {
tty_write(dmesg_buffer, dmesg_total);
} else {
// Output from head to end, then 0 to head
tty_write(dmesg_buffer + dmesg_head, DMESG_BUFFER_SIZE - dmesg_head);
tty_write(dmesg_buffer, dmesg_head);
}
spin_unlock(&printk_lock);
}
const char* dmesg_get_buffer(size_t* size_out) {
if (size_out) *size_out = dmesg_total;
return dmesg_buffer;
}