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
|
/**
* @file stdio.c
* Filesystem module for handling stdio (stdout, stdin, stderr)
*
* Copyright (C) 2018 Clyne Sullivan
*
* This program is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with this program. If not, see <https://www.gnu.org/licenses/>.
*/
#include "stdio.h"
#include <kernel/heap.h>
#include <kernel/serial.h>
void *stdio_open(const char *path);
int stdio_close(vfs_file_info *info);
uint32_t stdio_read(vfs_file_info *info, uint32_t count, uint8_t *buffer);
uint32_t stdio_write(vfs_file_info *info, uint32_t count, const uint8_t *buffer);
const vfs_volume_funcs stdio_funcs = {
stdio_open,
stdio_close,
stdio_read,
stdio_write,
0, // readdir
0 // seek
};
void *stdio_open(const char *path)
{
/**
* All we need is the correct file handle number.
*/
int *id = malloc(sizeof(uint32_t));
if (path[0] == 'o' && path[1] == 'u' && path[2] == 't')
*id = 1;
else if (path[0] == 'i' && path[1] == 'n')
*id = 0;
if (path[0] == 'e' && path[1] == 'r' && path[2] == 'r')
*id = 2;
return id;
}
int stdio_close(vfs_file_info *info)
{
free(info->fsinfo);
return 0;
}
uint32_t stdio_read(vfs_file_info *info, uint32_t count, uint8_t *buffer)
{
// TODO?
(void)info;
(void)count;
(void)buffer;
return 0;
}
uint32_t stdio_write(vfs_file_info *info, uint32_t count, const uint8_t *buffer)
{
// For now, output to serial
(void)info;
for (uint32_t i = 0; i < count; i++)
serial_put(buffer[i]);
return count;
}
|
