|
@@ -1535,6 +1535,10 @@ and is between 256 and 4096 characters. It is defined in the file
|
|
|
register save and restore. The kernel will only save
|
|
|
legacy floating-point registers on task switch.
|
|
|
|
|
|
+ noxsave [BUGS=X86] Disables x86 extended register state save
|
|
|
+ and restore using xsave. The kernel will fallback to
|
|
|
+ enabling legacy floating-point and sse state.
|
|
|
+
|
|
|
nohlt [BUGS=ARM,SH] Tells the kernel that the sleep(SH) or
|
|
|
wfi(ARM) instruction doesn't work correctly and not to
|
|
|
use it. This is also useful when using JTAG debugger.
|