Rev 718 | Rev 754 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 718 | Rev 727 | ||
---|---|---|---|
Line 144... | Line 144... | ||
144 | */ |
144 | */ |
145 | 145 | ||
146 | if (KA2PA(config.init_addr) % FRAME_SIZE) |
146 | if (KA2PA(config.init_addr) % FRAME_SIZE) |
147 | panic("config.init_addr is not frame aligned"); |
147 | panic("config.init_addr is not frame aligned"); |
148 | 148 | ||
149 | as = as_create(NULL); |
149 | as = as_create(NULL, 0); |
150 | if (!as) |
150 | if (!as) |
151 | panic("as_create\n"); |
151 | panic("as_create\n"); |
152 | u = task_create(as); |
152 | u = task_create(as); |
153 | if (!u) |
153 | if (!u) |
154 | panic("task_create\n"); |
154 | panic("task_create\n"); |