+
+
+ if (argc < 2)
+ {
+ smramc &= 0xC0;
+ smramc |= 0x04;
+
+ pci_write8(0, 0, 0, SMRAMC, smramc);
+ printf("With any luck, ABSEG is now enabled as system RAM... enjoy!\n");
+ } else {
+ smramc = strtoul(argv[1], 0, 0);
+
+ pci_write8(0, 0, 0, SMRAMC, smramc);
+ printf("OK, set it up as you like.\n");
+ }
+