sambuc/codezero
1
0
Fork 0
mirror of https://github.com/drasko/codezero.git synced 2026-01-12 10:53:16 +01:00
Code Issues Actions Packages Projects Releases Wiki Activity

Fixed an error with mm0 where server naming wasn't matched from bootdesc

Browse Source
This commit is contained in:
Bahadir Balban
2009-10-01 13:29:35 +03:00
parent e5cde20ca9
commit 4b235a9920
1 changed files with 12 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
conts/posix/mm0/src/init.c
View File

@@ -162,9 +162,13 @@ int start_boot_tasks(struct initdata *initdata)
if (file) {
BUG_ON(file->type != VM_FILE_BOOTFILE);
img = file->priv_data;
if (!strcmp(img->name, __PAGERNAME__))
if (img->name[0] == 'm' &&
img->name[1] == 'm' &&
img->name[2] == '0')
mm0_file = file;
else if (!strcmp(img->name, __VFSNAME__))
else if (img->name[0] == 'f' &&
img->name[1] == 's' &&
img->name[2] == '0')
fs0_file = file;
else
list_insert(&file->list, &other_files);
@@ -172,6 +176,12 @@ int start_boot_tasks(struct initdata *initdata)
break;
} while (1);
if (!mm0_file || !fs0_file) {
printf("%s: FATAL: Could not find images for %s, and/or %s\n",
__PAGERNAME__, __PAGERNAME__, __VFSNAME__);
BUG();
}
/* MM0 needs partial initialisation since it's already running. */
// printf("%s: Initialising mm0 tcb.\n", __TASKNAME__);
ids.tid = PAGER_TID;