Changeset a4bd537 in mainline for boot/genarch/include/genarch/efi.h

Timestamp:

2019-04-06T13:39:58Z (5 years ago)

Author:

Petr Pavlu <setup@…>

Children:

f7842ef

Parents:

0d073b8

git-author:

Petr Pavlu <setup@…> (2019-03-31 14:09:57)

git-committer:

Petr Pavlu <setup@…> (2019-04-06 13:39:58)

Message:

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.

File:

• boot/genarch/include/genarch/efi.h (modified) (4 diffs)

boot/genarch/include/genarch/efi.h

@@ -32 +32 @@
 #include <arch/types.h>
 
+#define EFI_SUCCESS  0
+#define EFI_ERROR(code) (((sysarg_t) 1 << (sizeof(sysarg_t) * 8 - 1)) | (code))
+#define EFI_LOAD_ERROR  EFI_ERROR(1)
+#define EFI_UNSUPPORTED  EFI_ERROR(3)
+#define EFI_BUFFER_TOO_SMALL  EFI_ERROR(5)
+
+typedef uint64_t efi_status_t;
+
 typedef struct {
         uint64_t signature;
@@ -56 +64 @@
 } efi_guid_t;
 
-typedef struct {
-        efi_guid_t guid;
-        void *table;
-} efi_configuration_table_t;
-
-typedef struct {
-        efi_table_header_t hdr;
-        char *fw_vendor;
-        uint32_t fw_revision;
-        void *cons_in_handle;
-        void *cons_in;
-        void *cons_out_handle;
-        void *cons_out;
-        void *cons_err_handle;
-        void *cons_err;
-        void *runtime_services;
-        void *boot_services;
-        sysarg_t conf_table_entries;
-        efi_configuration_table_t *conf_table;
-} efi_system_table_t;
+typedef enum {
+        EFI_ALLOCATE_ANY_PAGES,
+        EFI_ALLOCATE_MAX_ADDRESS,
+        EFI_ALLOCATE_ADDRESS
+} efi_allocate_type_t;
 
 typedef enum {
@@ -91 +84 @@
         EFI_MEMORY_MAPPED_IO,
         EFI_MEMORY_MAPPED_IO_PORT_SPACE,
-        EFI_PAL_CODE
+        EFI_PAL_CODE,
+        EFI_PERSISTENT_MEMORY
 } efi_memory_type_t;
+
+#define EFI_MEMORY_UC             UINT64_C(0x0000000000000001)
+#define EFI_MEMORY_WC             UINT64_C(0x0000000000000002)
+#define EFI_MEMORY_WT             UINT64_C(0x0000000000000004)
+#define EFI_MEMORY_WB             UINT64_C(0x0000000000000008)
+#define EFI_MEMORY_UCE            UINT64_C(0x0000000000000010)
+#define EFI_MEMORY_WP             UINT64_C(0x0000000000001000)
+#define EFI_MEMORY_RP             UINT64_C(0x0000000000002000)
+#define EFI_MEMORY_XP             UINT64_C(0x0000000000004000)
+#define EFI_MEMORY_NV             UINT64_C(0x0000000000008000)
+#define EFI_MEMORY_MORE_RELIABLE  UINT64_C(0x0000000000010000)
+#define EFI_MEMORY_RO             UINT64_C(0x0000000000020000)
+#define EFI_MEMORY_RUNTIME        UINT64_C(0x8000000000000000)
 
 typedef struct {
@@ -102 +109 @@
 } efi_v1_memdesc_t;
 
+typedef struct {
+        efi_guid_t guid;
+        void *table;
+} efi_configuration_table_t;
+
+typedef struct efi_simple_text_output_protocol {
+        void *reset;
+        efi_status_t (*output_string)(struct efi_simple_text_output_protocol *,
+            int16_t *);
+        void *test_string;
+        void *query_mode;
+        void *set_mode;
+        void *set_attribute;
+        void *clear_screen;
+        void *set_cursor_position;
+        void *enable_cursor;
+        void *mode;
+} efi_simple_text_output_protocol_t;
+
+typedef struct {
+        efi_table_header_t hdr;
+        void *raise_TPL;
+        void *restore_TPL;
+        efi_status_t (*allocate_pages)(efi_allocate_type_t, efi_memory_type_t,
+            sysarg_t, uint64_t *);
+        efi_status_t (*free_pages)(uint64_t, sysarg_t);
+        efi_status_t (*get_memory_map)(sysarg_t *, efi_v1_memdesc_t *,
+            sysarg_t *, sysarg_t *, uint32_t *);
+        efi_status_t (*allocate_pool)(efi_memory_type_t, sysarg_t, void **);
+        efi_status_t (*free_pool)(void *);
+        void *create_event;
+        void *set_timer;
+        void *wait_for_event;
+        void *signal_event;
+        void *close_event;
+        void *check_event;
+        void *install_protocol_interface;
+        void *reinstall_protocol_interface;
+        void *uninstall_protocol_interface;
+        void *handle_protocol;
+        void *reserved;
+        void *register_protocol_notify;
+        void *locate_handle;
+        void *locate_device_path;
+        void *install_configuration_table;
+        void *load_image;
+        void *start_image;
+        void *exit;
+        void *unload_image;
+        efi_status_t (*exit_boot_services)(void *, sysarg_t);
+        void *get_next_monotonic_count;
+        void *stall;
+        void *set_watchdog_timer;
+        void *connect_controller;
+        void *disconnect_controller;
+        void *open_protocol;
+        void *close_protocol;
+        void *open_protocol_information;
+        void *protocols_per_handle;
+        void *locate_handle_buffer;
+        void *locate_protocol;
+        void *install_multiple_protocol_interfaces;
+        void *uninstall_multiple_protocol_intefaces;
+        void *calculate_crc32;
+        void *copy_mem;
+        void *set_mem;
+        void *create_event_ex;
+} efi_boot_services_t;
+
+typedef struct {
+        efi_table_header_t hdr;
+        char *fw_vendor;
+        uint32_t fw_revision;
+        void *cons_in_handle;
+        void *cons_in;
+        void *cons_out_handle;
+        efi_simple_text_output_protocol_t *cons_out;
+        void *cons_err_handle;
+        efi_simple_text_output_protocol_t *cons_err;
+        void *runtime_services;
+        efi_boot_services_t *boot_services;
+        sysarg_t conf_table_entries;
+        efi_configuration_table_t *conf_table;
+} efi_system_table_t;
+
 #define EFI_PAGE_SIZE   4096
 
 extern void *efi_vendor_table_find(efi_system_table_t *, efi_guid_t);
+extern efi_status_t efi_get_memory_map(efi_system_table_t *, sysarg_t *,
+    efi_v1_memdesc_t **, sysarg_t *, sysarg_t *, uint32_t *);
 
 #endif