summaryrefslogtreecommitdiff
path: root/src/init/main.c
blob: 56015263952dca787b2f6a8db4247c560f0c5c89 (plain)
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
#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>

// TODO move to shared header file
#define argify(str) str, sizeof(str) - 1

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);

	MOUNT("/init/", tar_driver(&_initrd));
	MOUNT("/keyboard", ps2_drv());
	MOUNT("/vga_tty", ansiterm_drv());

	MOUNT("/bind/", fs_passthru(NULL));

	if (_syscall_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 (!_syscall_fork()) {
		if (file_open(&__stdout, "/com1") < 0 || file_open(&__stdin, "/com1") < 0)
			_syscall_exit(1);

		shell_loop();
		_syscall_exit(1);
	}


	if (!_syscall_fork()) {
		if (file_open(&__stdout, "/vga_tty") < 0)
			_syscall_exit(1);

		if (file_open(&__stdin, "/keyboard") < 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, "/com1") < 0)
		file_open(&__stdout, "/vga_tty");

	_syscall_await();
	printf("init: quitting\n");
	_syscall_exit(0);
}