| 33,66 → 33,14 |
|---|
| #include "kernel/kern.h" |
| #include "unistd.h" |
| |
| #include "drivers/shark_linuxc26.h" |
| #include "drivers/shark_pci26.h" |
| |
| PID shutdown_task_PID; |
| |
| int device_drivers_init() { |
| |
| LINUXC26_register_module(); |
| |
| PCI26_init(); |
| |
| return 0; |
| |
| } |
| |
| int device_drivers_close() { |
| |
| return 0; |
| |
| } |
| |
| TASK shutdown_task_body(void *arg) { |
| |
| device_drivers_close(); |
| |
| sys_shutdown_message("-- S.Ha.R.K. Closed --\n"); |
| |
| sys_end(); |
| |
| return NULL; |
| |
| } |
| |
| void set_shutdown_task() { |
| |
| NRT_TASK_MODEL nrt; |
| |
| nrt_task_default_model(nrt); |
| |
| shutdown_task_PID = task_create("Shutdown Task",shutdown_task_body,&nrt,NULL); |
| if (shutdown_task_PID == NIL) { |
| sys_shutdown_message("Error: Cannot create shutdown task\n"); |
| sys_end(); |
| } |
| |
| } |
| |
| |
| int main (int argc, char *argv[]) |
| { |
| |
| set_shutdown_task(); |
| |
| device_drivers_init(); |
| |
| cprintf("Init Done...\n"); |
| |
| sleep(5); |
| |
| task_activate(shutdown_task_PID); |
| sys_end(); |
| |
| return 0; |
| |