1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
|
#include <init/driver/driver.h>
#include <init/fs/misc.h>
#include <init/shell.h>
#include <init/stdlib.h>
#include <init/tar.h>
#include <init/tests/main.h>
#include <shared/flags.h>
#include <shared/syscalls.h>
#include <stdint.h>
extern char _bss_start; // provided by the linker
extern char _bss_end;
extern char _initrd;
void read_file(const char *path, size_t len);
__attribute__((section(".text.startup")))
int main(void) {
// allocate bss
_syscall_memflag(&_bss_start, &_bss_end - &_bss_start, MEMFLAG_PRESENT);
file_open(&__stdout, "/com1", 0);
printf("preinit\n");
/* move everything provided by the kernel to /kdev */
MOUNT("/kdev/", fs_passthru(NULL));
if (!fork2_n_mount("/")) {
const char *l[] = {"/kdev/", NULL};
fs_whitelist(l);
}
if (!fork2_n_mount("/")) fs_dir_inject("/kdev/"); // TODO should be part of fs_whitelist
MOUNT("/init/", tar_driver(&_initrd));
MOUNT("/tmp/", tmpfs_drv());
MOUNT("/keyboard", ps2_drv());
MOUNT("/vga_tty", ansiterm_drv());
MOUNT("/bind/", fs_passthru(NULL));
file_close(&__stdout);
if (_syscall_fork(0, NULL)) {
/* (used to) expose a bug in the kernel
* the program will flow like this:
* 1. we launch the forked init
* 2. the forked init launches both shells
* 3. one of the shells quit
* 4. the forked init picks it up and quits
*
* then, in process_kill, the other shell will be deathbedded
*
* before i implement(ed) reparenting, it was a lingering running child
* of a dead process, which is invalid state
*/
_syscall_await();
_syscall_exit(1);
}
if (!_syscall_fork(0, NULL)) {
if (file_open(&__stdout, "/kdev/com1", 0) < 0 || file_open(&__stdin, "/kdev/com1", 0) < 0)
_syscall_exit(1);
shell_loop();
_syscall_exit(1);
}
if (!_syscall_fork(0, NULL)) {
if (file_open(&__stdout, "/vga_tty", 0) < 0)
_syscall_exit(1);
if (file_open(&__stdin, "/keyboard", 0) < 0) {
printf("couldn't open /keyboard\n");
_syscall_exit(1);
}
shell_loop();
_syscall_exit(1);
}
// try to find any working output
if (file_open(&__stdout, "/kdev/com1", 0) < 0)
file_open(&__stdout, "/kdev/vga_tty", 0);
_syscall_await();
printf("init: quitting\n");
_syscall_exit(0);
}
|
