Have updated my Dell Vostro 1310 to Fedora rawhide. The relevant configuration outputs are now made available:

• /sbin/lspci
• /sbin/lsmod
• /boot/grub/menu.lst
• dmesg

Updating tcl to tcl-8.5.8-2.fc14 solves 540296. One can now do:

$ tclsh
% package require Tk

Running “mcu8051ide –check-libraries” should now be clean on Fedora:

Checking libraries...
	1/9 Checking for library BWidget
		Library present	... YES
		Version 1.7	... YES
	2/9 Checking for library Itcl
		Library present	... YES
		Version 3.4	... YES
	3/9 Checking for library Tcl
		Library present	... YES
		Version 8.2	... YES
	4/9 Checking for library md5
		Library present	... YES
		Version 2.0	... YES
	5/9 Checking for library crc16
		Library present	... YES
		Version 1.1	... YES
	6/9 Checking for library Tk
		Library present	... YES
		Version 8.5	... YES
	7/9 Checking for library img::png
		Library present	... YES
		Version 1.3	... YES
	8/9 Checking for library tdom
		Library present	... YES
		Version 0.8	... YES
	9/9 Checking for library Tclx
		Library present	... YES
		Version 8.0	... YES
RESULTS:
	Number of fails: 0
	Everything seems ok

Pushed recent mcu8051ide 1.3.7 and vrq 1.0.76 to Fedora repository.