Rev 4263 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4263 | Rev 4581 | ||
|---|---|---|---|
| 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); |