Rev 724 | Rev 755 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 724 | Rev 727 | ||
|---|---|---|---|
| Line 183... | Line 183... | ||
| 183 | printf("config.init_addr=%X, config.init_size=%d\n", config.init_addr, config.init_size); |
183 | printf("config.init_addr=%X, config.init_size=%d\n", config.init_addr, config.init_size); |
| 184 | 184 | ||
| 185 | /* |
185 | /* |
| 186 | * Create kernel address space. |
186 | * Create kernel address space. |
| 187 | */ |
187 | */ |
| 188 | as = as_create(GET_PTL0_ADDRESS()); |
188 | as = as_create(GET_PTL0_ADDRESS(), AS_KERNEL); |
| 189 | if (!as) |
189 | if (!as) |
| 190 | panic("can't create kernel address space\n"); |
190 | panic("can't create kernel address space\n"); |
| 191 | 191 | ||
| 192 | /* |
192 | /* |
| 193 | * Create kernel task. |
193 | * Create kernel task. |