aboutsummaryrefslogtreecommitdiffstats
path: root/include/scan.awk
blob: 0f027823263b6cd71c40cdb20e67edc6c75e230f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
BEGIN { FS="/" }
$1 ~ /^feeds/ { FEEDS[$NF]=$0 }
$1 !~ /^feeds/ { PKGS[$NF]=$0 }
END {
	# Filter-out OpenWrt packages which have a feeds equivalent
	for (pkg in PKGS)
		if (pkg in FEEDS) {
			print PKGS[pkg] > of
			delete PKGS[pkg]
		}
	n = asort(PKGS)
	for (i=1; i <= n; i++) {
		print PKGS[i]
	}
	n = asort(FEEDS)
	for (i=1; i <= n; i++){
		print FEEDS[i]
	}
}
PURPOSE. See the GNU General Public License for * more details. * * You should have received a copy of the GNU General Public License along with * this program; if not, write to the Free Software Foundation, Inc., 59 Temple * Place - Suite 330, Boston, MA 02111-1307 USA. */ #include <xen/config.h> #include <xen/types.h> #include <xen/init.h> #include <xen/lib.h> #include <xen/dmi.h> #include <xen/bitmap.h> #include <asm/hvm/support.h> s8 __read_mostly hvm_port80_allowed = -1; boolean_param("hvm_port80", hvm_port80_allowed); static int __init dmi_hvm_deny_port80(/*const*/ struct dmi_system_id *id) { printk(XENLOG_WARNING "%s: port 0x80 access %s allowed for HVM guests\n", id->ident, hvm_port80_allowed > 0 ? "forcibly" : "not"); if ( hvm_port80_allowed < 0 ) hvm_port80_allowed = 0; return 0; } static int __init check_port80(void) { /* * Quirk table for systems that misbehave (lock up, etc.) if port * 0x80 is used: */ static struct dmi_system_id __initdata hvm_no_port80_dmi_table[] = { { .callback = dmi_hvm_deny_port80, .ident = "Compaq Presario V6000", .matches = { DMI_MATCH(DMI_BOARD_VENDOR, "Quanta"), DMI_MATCH(DMI_BOARD_NAME, "30B7") } }, { .callback = dmi_hvm_deny_port80, .ident = "HP Pavilion dv9000z", .matches = { DMI_MATCH(DMI_BOARD_VENDOR, "Quanta"), DMI_MATCH(DMI_BOARD_NAME, "30B9") } }, { .callback = dmi_hvm_deny_port80, .ident = "HP Pavilion dv6000", .matches = { DMI_MATCH(DMI_BOARD_VENDOR, "Quanta"), DMI_MATCH(DMI_BOARD_NAME, "30B8") } }, { .callback = dmi_hvm_deny_port80, .ident = "HP Pavilion tx1000", .matches = { DMI_MATCH(DMI_BOARD_VENDOR, "Quanta"), DMI_MATCH(DMI_BOARD_NAME, "30BF") } }, { .callback = dmi_hvm_deny_port80, .ident = "Presario F700", .matches = { DMI_MATCH(DMI_BOARD_VENDOR, "Quanta"), DMI_MATCH(DMI_BOARD_NAME, "30D3") } }, { } }; dmi_check_system(hvm_no_port80_dmi_table); if ( !hvm_port80_allowed ) __set_bit(0x80, hvm_io_bitmap); return 0; } __initcall(check_port80);