id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	field_blocks	field_dependson	field_seealso
829	System deadlocks early in boot on ia32 with FPU lazy context switching off	Jiri Svoboda	Jiri Svoboda	"Steps to reproduce:

(1) Build sysytem with default ia32 build config, except lazy FPU context switching disabled
(2) tools/ew.py

"	defect	closed	major	0.12.1	helenos/unspecified	mainline	fixed