| 1,5 → 1,5 |
|---|
| /* |
| * Copyright (c) 2003-2004 Jakub Jermar |
| * Copyright (c) 2007 Michal Kebrt |
| * All rights reserved. |
| * |
| * Redistribution and use in source and binary forms, with or without |
| 34,10 → 34,30 |
|---|
| |
| |
| #include <arch.h> |
| #include <arch/boot.h> |
| #include <config.h> |
| |
| bootinfo_t bootinfo; |
| |
| static void aux_write(char * str) { |
| while (*str) { |
| *((char *)0x10000000) = *str; |
| ++str; |
| } |
| } |
| |
| void arch_pre_main(void) |
| { |
| /* TODO */ |
| int i; |
| |
| init.cnt = bootinfo.cnt; |
| |
| for (i = 0; i < bootinfo.cnt; ++i) { |
| init.tasks[i].addr = bootinfo.tasks[i].addr; |
| init.tasks[i].size = bootinfo.tasks[i].size; |
| aux_write("X\n"); |
| } |
| |
| } |
| |
| void arch_pre_mm_init(void) |