|
41ecca190c
|
Do not mention the red zone in 32-bit mode
|
2018-04-05 22:45:10 +02:00 |
|
|
479f4258c8
|
Fix linking the userland kernel
|
2018-04-05 22:45:00 +02:00 |
|
|
2e65f87140
|
Provide the correct compilation flags for an amd64 kernel
|
2018-04-05 04:24:25 +02:00 |
|
|
18db76ca5a
|
Move code around for better isolation
|
2018-04-05 02:15:30 +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 |
|