Subversion Repositories HelenOS

Rev

Rev 2087 | Rev 2118 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed

Rev Author Line No. Line
1 jermar 1
/*
2071 jermar 2
 * Copyright (c) 2001-2004 Jakub Jermar
1 jermar 3
 * All rights reserved.
4
 *
5
 * Redistribution and use in source and binary forms, with or without
6
 * modification, are permitted provided that the following conditions
7
 * are met:
8
 *
9
 * - Redistributions of source code must retain the above copyright
10
 *   notice, this list of conditions and the following disclaimer.
11
 * - Redistributions in binary form must reproduce the above copyright
12
 *   notice, this list of conditions and the following disclaimer in the
13
 *   documentation and/or other materials provided with the distribution.
14
 * - The name of the author may not be used to endorse or promote products
15
 *   derived from this software without specific prior written permission.
16
 *
17
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
18
 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
19
 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
20
 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
21
 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
22
 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23
 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24
 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25
 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
26
 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27
 */
28
 
1729 decky 29
/** @addtogroup main
1702 cejka 30
 * @{
31
 */
32
 
1248 jermar 33
/**
1702 cejka 34
 * @file
1248 jermar 35
 * @brief	Kernel initialization thread.
36
 *
37
 * This file contains kinit kernel thread which carries out
38
 * high level system initialization.
39
 *
40
 * This file is responsible for finishing SMP configuration
41
 * and creation of userspace init tasks.
42
 */
43
 
510 jermar 44
#include <main/kinit.h>
1 jermar 45
#include <config.h>
46
#include <arch.h>
47
#include <proc/scheduler.h>
48
#include <proc/task.h>
49
#include <proc/thread.h>
50
#include <panic.h>
51
#include <func.h>
52
#include <cpu.h>
53
#include <arch/asm.h>
54
#include <mm/page.h>
55
#include <arch/mm/page.h>
703 jermar 56
#include <mm/as.h>
517 jermar 57
#include <mm/frame.h>
195 vana 58
#include <print.h>
236 jermar 59
#include <memstr.h>
517 jermar 60
#include <console/console.h>
578 palkovsky 61
#include <interrupt.h>
518 jermar 62
#include <console/kconsole.h>
1174 jermar 63
#include <security/cap.h>
2000 decky 64
#include <lib/rd.h>
2089 decky 65
#include <ipc/ipc.h>
1 jermar 66
 
458 decky 67
#ifdef CONFIG_SMP
1901 jermar 68
#include <smp/smp.h>
458 decky 69
#endif /* CONFIG_SMP */
1 jermar 70
 
71
#include <synch/waitq.h>
72
#include <synch/spinlock.h>
73
 
523 jermar 74
/** Kernel initialization thread.
75
 *
76
 * kinit takes care of higher level kernel
77
 * initialization (i.e. thread creation,
78
 * userspace initialization etc.).
79
 *
80
 * @param arg Not used.
81
 */
1 jermar 82
void kinit(void *arg)
83
{
625 palkovsky 84
	thread_t *t;
1 jermar 85
 
1576 jermar 86
	/*
87
	 * Detach kinit as nobody will call thread_join_timeout() on it.
88
	 */
89
	thread_detach(THREAD);
90
 
413 jermar 91
	interrupts_disable();
1 jermar 92
 
458 decky 93
#ifdef CONFIG_SMP		 	
1 jermar 94
	if (config.cpu_count > 1) {
1901 jermar 95
		waitq_initialize(&ap_completion_wq);
1 jermar 96
		/*
97
		 * Create the kmp thread and wait for its completion.
98
		 * cpu1 through cpuN-1 will come up consecutively and
430 jermar 99
		 * not mess together with kcpulb threads.
1 jermar 100
		 * Just a beautification.
101
		 */
2087 jermar 102
		if ((t = thread_create(kmp, NULL, TASK, THREAD_FLAG_WIRED,
103
		    "kmp", true))) {
1 jermar 104
			spinlock_lock(&t->lock);
105
			t->cpu = &cpus[0];
106
			spinlock_unlock(&t->lock);
107
			thread_ready(t);
1729 decky 108
		} else
1576 jermar 109
			panic("thread_create/kmp\n");
110
		thread_join(t);
1581 jermar 111
		thread_detach(t);
1 jermar 112
	}
458 decky 113
#endif /* CONFIG_SMP */
1 jermar 114
	/*
115
	 * Now that all CPUs are up, we can report what we've found.
116
	 */
673 jermar 117
	cpu_list();
1 jermar 118
 
458 decky 119
#ifdef CONFIG_SMP
1 jermar 120
	if (config.cpu_count > 1) {
673 jermar 121
		int i;
122
 
125 jermar 123
		/*
1 jermar 124
		 * For each CPU, create its load balancing thread.
125
		 */
126
		for (i = 0; i < config.cpu_count; i++) {
127
 
2087 jermar 128
			if ((t = thread_create(kcpulb, NULL, TASK,
129
			    THREAD_FLAG_WIRED, "kcpulb", true))) {
1 jermar 130
				spinlock_lock(&t->lock);			
131
				t->cpu = &cpus[i];
132
				spinlock_unlock(&t->lock);
133
				thread_ready(t);
1729 decky 134
			} else
135
				panic("thread_create/kcpulb\n");
1 jermar 136
 
137
		}
138
	}
458 decky 139
#endif /* CONFIG_SMP */
1 jermar 140
 
510 jermar 141
	/*
512 jermar 142
	 * At this point SMP, if present, is configured.
143
	 */
144
	arch_post_smp_init();
145
 
146
	/*
510 jermar 147
	 * Create kernel console.
148
	 */
2087 jermar 149
	t = thread_create(kconsole, "kconsole", TASK, 0, "kconsole", false);
150
	if (t)
510 jermar 151
		thread_ready(t);
718 decky 152
	else
153
		panic("thread_create/kconsole\n");
510 jermar 154
 
413 jermar 155
	interrupts_enable();
1659 vana 156
 
1037 decky 157
	count_t i;
158
	for (i = 0; i < init.cnt; i++) {
717 decky 159
		/*
1999 decky 160
		 * Run user tasks, load RAM disk images.
717 decky 161
		 */
718 decky 162
 
1999 decky 163
		if (init.tasks[i].addr % FRAME_SIZE) {
164
			printf("init[%d].addr is not frame aligned", i);
165
			continue;
166
		}
794 palkovsky 167
 
2087 jermar 168
		task_t *utask = task_run_program((void *) init.tasks[i].addr,
169
		    "uspace");
1040 palkovsky 170
		if (utask) {
1174 jermar 171
			/*
172
			 * Set capabilities to init userspace tasks.
173
			 */
2087 jermar 174
			cap_set(utask, CAP_CAP | CAP_MEM_MANAGER |
175
			    CAP_IO_MANAGER | CAP_PREEMPT_CONTROL | CAP_IRQ_REG);
1174 jermar 176
 
1040 palkovsky 177
			if (!ipc_phone_0) 
178
				ipc_phone_0 = &utask->answerbox;
1999 decky 179
		} else {
2087 jermar 180
			int rd = init_rd((rd_header *) init.tasks[i].addr,
181
			    init.tasks[i].size);
1999 decky 182
 
2002 decky 183
			if (rd != RE_OK)
1999 decky 184
				printf("Init binary %zd not used.\n", i);
185
		}
717 decky 186
	}
1 jermar 187
 
188
 
517 jermar 189
	if (!stdin) {
190
		while (1) {
191
			thread_sleep(1);
192
			printf("kinit... ");
193
		}
1 jermar 194
	}
195
}
1702 cejka 196
 
1729 decky 197
/** @}
1702 cejka 198
 */