修复 riscv64 未初始化 drm 与设备软链接导致空指针问题.

修复部分警告.

Author: xiaoyi1212

src/arch/riscv64/boot/open_sbi.c

@@ -28,10 +28,6 @@ size_t boot_framebuffer_count() {
     return 0; // TODO
 }
 
-static void *find_string_tag(void *mb2_info_addr) {
-    return NULL;
-}
-
 char *get_kernel_cmdline() {
     return kernel_cmdline ? kernel_cmdline : empty_kernel_cmdline;
 }

src/arch/riscv64/librv64.c

@@ -11,11 +11,11 @@ void arch_wait_for_interrupt() {
 }
 
 void arch_open_interrupt() {
-    csr_set(sstatus, (1 << 1)); /* SIE */
+    csr_set(sstatus, 1 << 1); /* SIE */
 }
 
 void arch_close_interrupt() {
-    csr_clear(sstatus, (1 << 1)); /* SIE */
+    csr_clear(sstatus, 1 << 1); /* SIE */
 }
 
 bool arch_check_interrupt(void) {
@@ -47,9 +47,9 @@ void arch_pci_legacy_enum() {
 
 void arch_cpu_init() {
     // SUM
-    csr_set(sstatus, (1UL << 18));
+    csr_set(sstatus, 1UL << 18);
     // FPU
-    csr_set(sstatus, (3UL << 13));
+    csr_set(sstatus, 3UL << 13);
 }
 
 bool arch_get_random_bytes(uint8_t *buf, size_t size) {

src/arch/riscv64/main.c

@@ -1,5 +1,6 @@
 #include "bootarg.h"
 #include "driver/blk_device.h"
+#include "driver/drm/drm_device.h"
 #include "driver/gop.h"
 #include "driver/input_device.h"
 #include "driver/serial.h"
@@ -42,6 +43,7 @@ USED _Noreturn void kmain() {
     printk("CoolPotOS %s\n", KERNEL_NAME);
     kinfo("kernel cmdline(%llu): %s", boot_argc, get_kernel_cmdline());
     init_block_device_manager();
+    drm_device_setup();
     vfs_init();
     intctl_init();
     trap_init();
@@ -66,7 +68,9 @@ USED _Noreturn void kmain() {
     scheduler_enable();
     arch_open_interrupt();
 
-    // launch_init_process();
+    init_console_symlink();
+
+    launch_init_process();
 
     while (true) {
         arch_wait_for_interrupt();