blob: 33a4372f8f5d905841c3cc129d9b32bbbd33a9ed (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
#include <kernel/syscalls.h>
#include <stddef.h>
#include <stdint.h>
int _syscall(int, int, int, int);
int debuglog(const char *msg, size_t len) {
return _syscall(SC_DEBUGLOG, (void*)msg, len, 0);
}
int main() {
debuglog("hello from init! ",
sizeof("hello from init! ") - 1);
// try to mess with kernel memory
uint8_t *kernel = (void*) 0x100000;
*kernel = 0; // should segfault
}
|
