#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()) {
		__stdin = __stdout = _syscall_open(argify("/com1"));
		if (__stdout < 0) _syscall_exit(1);

		shell_loop();
		_syscall_exit(1);
	}


	if (!_syscall_fork()) {
		__stdout = _syscall_open(argify("/vga_tty"));
		if (__stdout < 0) _syscall_exit(1);

		__stdin = _syscall_open(argify("/keyboard"));
		if (__stdin < 0) {
			printf("couldn't open /keyboard\n");
			_syscall_exit(1);
		}

		shell_loop();
		_syscall_exit(1);
	}


	// try to find any working output
	__stdout = _syscall_open(argify("/com1"));
	if (__stdout < 0) __stdout = _syscall_open(argify("/vga_tty"));

	_syscall_await();
	printf("init: something quit\n");

	_syscall_exit(0);
}