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
90
91
92
|
#include <user/driver/driver.h>
#include <user/fs/misc.h>
#include <user/app/shell.h>
#include <user/lib/stdlib.h>
#include <user/fs/tar.h>
#include <user/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) {
_syscall(1, 2, 3, 4, 5);
// allocate bss
_syscall_memflag(&_bss_start, &_bss_end - &_bss_start, MEMFLAG_PRESENT);
file_reopen(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));
if (fork()) {
/* (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 (!fork()) {
if (!file_reopen(stdout, "/kdev/com1", 0)) {
printf("couldn't open /kdev/com1\n"); // TODO borked
_syscall_exit(1);
}
if (!file_reopen(stdin, "/kdev/com1", 0)) {
printf("couldn't open /kdev/com1\n");
_syscall_exit(1);
}
termcook();
shell_loop();
_syscall_exit(1);
}
if (!fork()) {
if (!file_reopen(stdout, "/vga_tty", 0)) {
printf("couldn't open /vga_tty\n"); // TODO borked
_syscall_exit(1);
}
if (!file_reopen(stdin, "/keyboard", 0)) {
printf("couldn't open /keyboard\n");
_syscall_exit(1);
}
termcook();
shell_loop();
_syscall_exit(1);
}
_syscall_await();
printf("init: quitting\n");
_syscall_exit(0);
}
|
