|
|
67d8e3d42a
|
Register some dependencies
|
2018-04-04 03:54:59 +02:00 |
|
|
|
ca9dc4bb53
|
Use buses for the userland implementation as well
|
2018-04-04 03:29:15 +02:00 |
|
|
|
d67fe7e2f0
|
Introduce the "ioport" bus
|
2018-04-04 01:46:35 +02:00 |
|
|
|
00360e361d
|
Introduce <errno.h>
|
2018-04-04 01:37:36 +02:00 |
|
|
|
c1fa89b2fb
|
Code cleanup
|
2018-04-02 12:35:36 +02:00 |
|
|
|
d1d4cc194e
|
Factor common code for syscalls
|
2018-04-02 12:34:57 +02:00 |
|
|
|
290855355a
|
Add support for OpenBSD to the user-land kernel
|
2018-03-29 22:47:19 +02:00 |
|
|
|
0602e738c2
|
Register a missing dependency
|
2018-03-29 22:47:19 +02:00 |
|
|
|
61dd856d6c
|
Really disable the stack protector on OpenBSD
|
2018-03-28 06:25:39 +02:00 |
|
|
|
80045e1887
|
Also build the userland kernel with platform.sh
|
2018-03-28 05:43:41 +02:00 |
|
|
|
7a4342dfba
|
Determine the {C,LD}FLAGS from a shell script
This should simplify targeting specific architectures for the moment.
|
2018-03-28 05:20:30 +02:00 |
|
|
|
d07ee6b951
|
No longer build with -m32 by default
This is currently correct, since only i386 is supported. To
cross-compile from amd64, it is still possible to use CC="gcc -m32".
|
2018-03-27 00:02:17 +02:00 |
|
|
|
28e7fcd905
|
Register uKernel
|
2018-03-27 00:00:24 +02:00 |
|
|
|
dcf2dc2e67
|
Build a userland version of the kernel for tests
|
2018-03-23 14:03:06 +01:00 |
|
