source: mainline/boot/genarch/src/efi.c

Last change on this file was 84176f3, checked in by Jakub Jermář <jakub@…>, 6 years ago

arm64: Add support for the architecture

This changeset adds basic support to run HelenOS on AArch64, targeting
the QEMU virt platform.

Boot:

  • Boot relies on the EDK II firmware, GRUB2 for EFI and the HelenOS bootloader (UEFI application). EDK II loads GRUB2 from a CD, GRUB2 loads the HelenOS bootloader (via UEFI) which loads OS components.
  • UEFI applications use the PE/COFF format and must be relocatable. The first problem is solved by manually having the PE/COFF headers and tables written in assembler. The relocatable requirement is addressed by compiling the code with -fpic and having the bootloader relocate itself at its startup.

Kernel:

  • Kernel code for AArch64 consists mostly of stubbing out various architecture-specific hooks: virtual memory management, interrupt and exception handling, context switching (including FPU lazy switching), support for virtual timer, atomic sequences and barriers, cache and TLB maintenance, thread and process initialization.
  • The patch adds a kernel driver for GICv2 (interrupt controller).
  • The PL011 kernel driver is extended to allow userspace to take ownership of the console.
  • The current code is not able to dynamically obtain information about available devices on the underlying machine. The port instead implements a machine-func interface similar to the one implemented by arm32. It defines a machine for the QEMU AArch64 virt platform. The configuration (device addresses and IRQ numbers) is then baked into the machine definition.

User space:

  • Uspace code for AArch64 similarly mostly implements architecture-specific hooks: context saving/restoring, syscall support, TLS support.

The patchset allows to boot the system but user interaction with the OS
is not yet possible.

  • Property mode set to 100644
File size: 2.6 KB
Line 
1/*
2 * Copyright (c) 2011 Jakub Jermar
3 * All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions
7 * are met:
8 *
9 * - Redistributions of source code must retain the above copyright
10 * notice, this list of conditions and the following disclaimer.
11 * - Redistributions in binary form must reproduce the above copyright
12 * notice, this list of conditions and the following disclaimer in the
13 * documentation and/or other materials provided with the distribution.
14 * - The name of the author may not be used to endorse or promote products
15 * derived from this software without specific prior written permission.
16 *
17 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
18 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
19 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
20 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
21 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
22 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
26 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27 */
28
29#include <genarch/efi.h>
30#include <arch/types.h>
31#include <stddef.h>
32
33void *efi_vendor_table_find(efi_system_table_t *st, efi_guid_t guid)
34{
35 sysarg_t i;
36
37 for (i = 0; i < st->conf_table_entries; i++)
38 if ((st->conf_table[i].guid.low == guid.low) &&
39 (st->conf_table[i].guid.high == guid.high))
40 return st->conf_table[i].table;
41
42 return NULL;
43}
44
45efi_status_t efi_get_memory_map(efi_system_table_t *st,
46 sysarg_t *memory_map_size, efi_v1_memdesc_t **memory_map, sysarg_t *map_key,
47 sysarg_t *descriptor_size, uint32_t *descriptor_version)
48{
49 efi_status_t status;
50
51 *memory_map_size = 8 * sizeof(**memory_map);
52
53 do {
54 /* Allocate space for the memory map. */
55 status = st->boot_services->allocate_pool(EFI_LOADER_DATA,
56 *memory_map_size, (void **) memory_map);
57 if (status != EFI_SUCCESS)
58 return status;
59
60 /* Try to obtain the map. */
61 status = st->boot_services->get_memory_map(memory_map_size,
62 *memory_map, map_key, descriptor_size, descriptor_version);
63 if (status == EFI_SUCCESS)
64 return status;
65
66 /* An error occurred, release the allocated memory. */
67 st->boot_services->free_pool(*memory_map);
68 } while (status == EFI_BUFFER_TOO_SMALL);
69
70 return status;
71}
Note: See TracBrowser for help on using the repository browser.