Rev 4296 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 4296 | Rev 4420 | ||
---|---|---|---|
Line 131... | Line 131... | ||
131 | return ENOTSUP; |
131 | return ENOTSUP; |
132 | 132 | ||
133 | /* Register image as the program loader */ |
133 | /* Register image as the program loader */ |
134 | ASSERT(program_loader == NULL); |
134 | ASSERT(program_loader == NULL); |
135 | program_loader = image_addr; |
135 | program_loader = image_addr; |
136 | printf("Registered program loader at 0x%" PRIp "\n", |
136 | LOG("Registered program loader at 0x%" PRIp "\n", |
137 | image_addr); |
137 | image_addr); |
138 | return EOK; |
138 | return EOK; |
139 | } |
139 | } |
140 | 140 | ||
141 | program_create(as, ((elf_header_t *) image_addr)->e_entry, name, p); |
141 | program_create(as, ((elf_header_t *) image_addr)->e_entry, name, p); |