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. |