|
|
beb0808f4e
|
Obtain the user-land console driver from its object
|
2018-06-21 00:02:45 +02:00 |
|
|
|
5b900d2c7c
|
Simplify the userland kernel as well
|
2018-06-07 11:36:30 -04:00 |
|
|
|
2369a2338a
|
Register a dependency
|
2018-04-08 00:21:50 +02:00 |
|
|
|
479f4258c8
|
Fix linking the userland kernel
|
2018-04-05 22:45:00 +02:00 |
|
|
|
bae76e2a62
|
Bring the 64-bit kernel closer to reality
|
2018-04-05 20:20:13 +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 |
|
|
|
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 |
|
|
|
d67fe7e2f0
|
Introduce the "ioport" bus
|
2018-04-04 01:46:35 +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 |
|
|
|
dcf2dc2e67
|
Build a userland version of the kernel for tests
|
2018-03-23 14:03:06 +01:00 |
|
