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
93
94
95
96
97
|
#include <init/tar.h>
#include <shared/flags.h>
#include <shared/syscalls.h>
#include <stdint.h>
#define argify(str) str, sizeof(str) - 1
#define log(str) _syscall_write(tty_fd, argify(str), 0)
extern char _bss_start; // provided by the linker
extern char _bss_end;
extern char _initrd;
int tty_fd;
void read_file(const char *path, size_t len);
void fs_test(void);
void test_await(void);
__attribute__((section(".text.startup")))
int main(void) {
// allocate bss
_syscall_memflag(&_bss_start, &_bss_end - &_bss_start, MEMFLAG_PRESENT);
tty_fd = _syscall_open("/tty", sizeof("/tty") - 1);
if (tty_fd < 0)
_syscall_exit(1);
fs_test();
test_await();
char c;
while (_syscall_read(tty_fd, &c, 1, 0))
_syscall_write(tty_fd, &c, 1, 0);
_syscall_exit(0);
}
void read_file(const char *path, size_t len) {
int fd = _syscall_open(path, len);
static char buf[64];
int buf_len = 64;
_syscall_write(tty_fd, path, len, 0);
log(": ");
if (fd < 0) {
log("couldn't open.\n");
return;
}
buf_len = _syscall_read(fd, buf, buf_len, 0);
_syscall_write(tty_fd, buf, buf_len, 0);
_syscall_close(fd);
}
void fs_test(void) {
handle_t front, back;
front = _syscall_fs_create(&back);
if (_syscall_fork()) {
// child: is the fs server
tar_driver(back, &_initrd);
return;
}
// parent: accesses the fs
log("\n\n");
// the trailing slash should be ignored by mount()
_syscall_mount(front, argify("/init/"));
read_file(argify("/init/fake.txt"));
read_file(argify("/init/1.txt"));
read_file(argify("/init/2.txt"));
read_file(argify("/init/dir/3.txt"));
log("\nshadowing /init/dir...\n");
_syscall_mount(-1, argify("/init/dir"));
read_file(argify("/init/fake.txt"));
read_file(argify("/init/1.txt"));
read_file(argify("/init/2.txt"));
read_file(argify("/init/dir/3.txt"));
log("\n");
}
void test_await(void) {
int ret;
if (!_syscall_fork()) _syscall_exit(69);
if (!_syscall_fork()) _syscall_exit(420);
while ((ret = _syscall_await()) != ~0) {
log("await returned: ");
//_syscall_write(tty_fd, buf, len, 0); TODO printf
log("\n");
}
log("await: no more children\n");
}
|
