|
bae76e2a62
|
Bring the 64-bit kernel closer to reality
|
2018-04-05 20:20:13 +02:00 |
|
|
e5a3b88d43
|
Add missing #include
|
2018-04-05 04:25:07 +02:00 |
|
|
2e65f87140
|
Provide the correct compilation flags for an amd64 kernel
|
2018-04-05 04:24:25 +02:00 |
|
|
7562b69ed5
|
Let the console be located by name
|
2018-04-05 03:24:14 +02:00 |
|
|
54a5481bb7
|
Also ship "arch/i386/start.S" for the userland kernel
|
2018-04-05 02:25:55 +02:00 |
|
|
18db76ca5a
|
Move code around for better isolation
|
2018-04-05 02:15:30 +02:00 |
|
|
58bb9a5124
|
Code cleanup
|
2018-04-05 01:20:57 +02:00 |
|
|
1a8cf835fb
|
Let the default bus be configured
|
2018-04-04 23:45:40 +02:00 |
|
|
75087533be
|
Rework cursor management for the "vga" console
|
2018-04-04 05:18:58 +02:00 |
|
|
31bd71852a
|
Rename the "stdio" bus to "tty"
This will help disambiguate from the console driver of the same name.
|
2018-04-04 03:58:20 +02:00 |
|
|
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 |
|