2 meinOS - A unix-like x86 microkernel operating system
3 Copyright (C) 2008 Janosch Gräf <janosch.graef@gmx.net>
5 This program is free software: you can redistribute it and/or modify
6 it under the terms of the GNU Lesser General Public License as published by
7 the Free Software Foundation, either version 3 of the License, or
8 (at your option) any later version.
10 This program is distributed in the hope that it will be useful,
11 but WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 GNU Lesser General Public License for more details.
15 You should have received a copy of the GNU Lesser General Public License
16 along with this program. If not, see <http://www.gnu.org/licenses/>.
22 #include <sys/types.h>
28 #define mem_getphysaddr(virt) ((void*)syscall_call(SYSCALL_MEM_GETPHYSADDR,1,virt))
29 #define mem_alloc(size) ((void*)syscall_call(SYSCALL_MEM_MALLOC,1,size))
30 #define mem_getvga() ((void*)syscall_call(SYSCALL_MEM_GETVGA,0))
31 #define USERSPACE_ADDRESS 0x40000000 /* 1GB */
32 #define USERSPACE_SIZE 0xBFBFF000 /* 3GB-4MB-4KB */
35 int vfs_mount(const char *fs
,const char *mountpoint
,const char *dev
,int readonly
);
36 int vfs_unmount(const char *fs
,const char *mountpoint
);
48 pid_t
execute(const char *path
,char *argv
[],int *stdin
,int *stdout
,int *stderr
);
52 * Sends init, that initialization has finished
54 static __inline__
void init_ready() {
61 static __inline__
void computer_shutdown() {
62 rpc_call("computer_shutdown",0);