diff options
| author | Jakob Odersky <jodersky@gmail.com> | 2014-04-09 23:08:06 +0200 |
|---|---|---|
| committer | Jakob Odersky <jodersky@gmail.com> | 2014-04-09 23:08:06 +0200 |
| commit | d25f934944a6c3f4141158119474ad3d15ca9b7c (patch) | |
| tree | 9d7102a9d5e73bd034797c6862b1ecc191f5d656 /kernel/init.c | |
| parent | 90b9086a79ce1b24a4efa7390b6920c1d2ea7393 (diff) | |
| download | mux-d25f934944a6c3f4141158119474ad3d15ca9b7c.tar.gz mux-d25f934944a6c3f4141158119474ad3d15ca9b7c.tar.bz2 mux-d25f934944a6c3f4141158119474ad3d15ca9b7c.zip | |
add templates
Diffstat (limited to 'kernel/init.c')
| -rw-r--r-- | kernel/init.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/init.c b/kernel/init.c index 5a9a2e9..6ec8523 100644 --- a/kernel/init.c +++ b/kernel/init.c @@ -18,7 +18,7 @@ int main(int argc, char *argv[]) { spawn_idle(&task_idle, 0); spawn(&tcb1, 1); - spawn(&tcb2, 2); + //spawn(&tcb2, 2); sei(); clock_init(1000/HZ, schedule); |