Changes in / [5773e82:db8568a] in mainline

Files:

• .gitignore (modified) (1 diff)
• boot/arch/arm64/src/main.c (modified) (1 diff)
• kernel/arch/arm64/src/interrupt.c (modified) (4 diffs)
• tools/ew.py (modified) (3 diffs)

.gitignore

@@ -14 +14 @@
 /Makefile.config
 /PKG
+/QEMU_EFI_ARM64.fd
 /common.h
 /config.h

boot/arch/arm64/src/main.c

@@ -191 +191 @@
 
         /* Statically check PAGE_SIZE and BOOT_OFFSET. */
-        _Static_assert(PAGE_SIZE == 4096, "PAGE_SIZE must be equal to 4096");
-        _Static_assert(IS_ALIGNED(BOOT_OFFSET, PAGE_SIZE),
-            "BOOT_OFFSET must be a multiple of PAGE_SIZE");
-
+#if PAGE_SIZE != 4096
+#error Unsupported PAGE_SIZE
+#endif
+#if !IS_ALIGNED(BOOT_OFFSET, PAGE_SIZE)
+#error Unsupported BOOT_OFFSET
+#endif
         /*
          * Dynamically check the memory base. The condition should be always

kernel/arch/arm64/src/interrupt.c

@@ -53 +53 @@
         DAIF_write(daif | DAIF_IRQ_FLAG);
 
-        return daif & DAIF_IRQ_FLAG;
+        return (daif >> DAIF_IRQ_SHIFT) & 1;
 }
 
@@ -66 +66 @@
         DAIF_write(daif & ~DAIF_IRQ_FLAG);
 
-        return daif & DAIF_IRQ_FLAG;
+        return (daif >> DAIF_IRQ_SHIFT) & 1;
 }
 
@@ -77 +77 @@
         uint64_t daif = DAIF_read();
 
-        DAIF_write((daif & ~DAIF_IRQ_FLAG) | (ipl & DAIF_IRQ_FLAG));
+        DAIF_write((daif & ~DAIF_IRQ_FLAG) |
+            ((ipl & 1) << DAIF_IRQ_SHIFT));
 }
 
@@ -86 +87 @@
 ipl_t interrupts_read(void)
 {
-        return DAIF_read() & DAIF_IRQ_FLAG;
+        return (DAIF_read() >> DAIF_IRQ_SHIFT) & 1;
 }
 

tools/ew.py

@@ -89 +89 @@
         return '-cpu 4Kc'
 
-def find_firmware(name, environ_var, default_paths, extra_info=None):
-        """Find firmware image(s)."""
-
-        if environ_var in os.environ:
-                return os.environ[environ_var]
-
-        for path in default_paths:
-                if os.path.exists(path):
-                        return path
-
-        sys.stderr.write("Cannot find %s binary image(s)!\n" % name)
-        sys.stderr.write(
-            "Either set %s environment variable accordingly or place the image(s) in one of the default locations: %s.\n" %
-            (environ_var, ", ".join(default_paths)))
-        if extra_info is not None:
-                sys.stderr.write(extra_info)
-        return None
-
 def platform_to_qemu_options(platform, machine, processor):
         if platform == 'amd64':
@@ -113 +95 @@
                 return 'system-arm', '-M integratorcp'
         elif platform == 'arm64':
-                # Search for the EDK2 firmware image
-                default_paths = (
-                        '/usr/local/qemu-efi-aarch64/QEMU_EFI.fd', # Custom
-                        '/usr/share/edk2/aarch64/QEMU_EFI.fd',     # Fedora
-                        '/usr/share/qemu-efi-aarch64/QEMU_EFI.fd', # Ubuntu
-                )
-                extra_info = ("Pre-compiled binary can be obtained from "
-                    "http://snapshots.linaro.org/components/kernel/leg-virt-tianocore-edk2-upstream/latest/QEMU-AARCH64/RELEASE_GCC49/QEMU_EFI.fd.\n")
-                efi_path = find_firmware(
-                    "EDK2", 'EW_QEMU_EFI_AARCH64', default_paths, extra_info)
-                if efi_path is None:
+                # Check that ROM image is present. Provide the user with
+                # appropriate steps to fix this problem.
+                if not os.path.exists('QEMU_EFI_ARM64.fd'):
+                        sys.stderr.write('Could not find ' +
+                            '\'QEMU_EFI_ARM64.fd\' which is expected to ' +
+                            'contain EDK2 firmware image.\n')
+                        sys.stderr.write('Pre-built image can be obtained by ' +
+                            'running the following command:\n')
+                        sys.stderr.write('$ wget http://snapshots.linaro.org/' +
+                            'components/kernel/leg-virt-tianocore-edk2-' +
+                            'upstream/latest/QEMU-AARCH64/RELEASE_GCC49/' +
+                            'QEMU_EFI.fd -O QEMU_EFI_ARM64.fd\n')
                         raise Exception
-
                 return 'system-aarch64', \
-                    '-M virt -cpu cortex-a57 -m 1024 -bios %s' % efi_path
+                    '-M virt -cpu cortex-a57 -m 1024 -bios QEMU_EFI_ARM64.fd'
         elif platform == 'ia32':
                 return 'system-i386', pc_options(32)
@@ -142 +124 @@
                 if processor == 'us':
                         return 'system-sparc64', '-M sun4u --prom-env boot-args="console=devices/\\hw\\pci0\\01:01.0\\com1\\a"'
-
-                # processor = 'sun4v'
-                opensparc_bins = find_firmware(
-                    "OpenSPARC", 'OPENSPARC_BINARIES',
-                    ('/usr/local/opensparc/image/', ))
-                if opensparc_bins is None:
+                elif processor == 'sun4v':
+                        default_path = '/usr/local/opensparc/image/'
+                try:
+                        if os.path.exists(default_path):
+                                opensparc_bins = default_path
+                        elif os.path.exists(os.environ['OPENSPARC_BINARIES']):
+                                opensparc_bins = os.environ['OPENSPARC_BINARIES']
+                        else:
+                                raise Exception
+                except:
+                        print("Cannot find OpenSPARC binary images!")
+                        print("Either set OPENSPARC_BINARIES environment variable accordingly or place the images in %s." % (default_path))
                         raise Exception