marius 93da89bedb Fix masking of TTE bits; the TD_*_MASK macros need shifting via the ...

corresponding TD_*_SHIFT.

MFC after:	3 days

2009-04-14 19:02:34 +00:00

..

boot1

…

loader

Fix masking of TTE bits; the TD_*_MASK macros need shifting via the

2009-04-14 19:02:34 +00:00

Makefile

…

Makefile.inc

Enable GCC stack protection (aka Propolice) for userland:

2008-06-25 21:33:28 +00:00