Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Elfloader: NVIDIA Jetson Orin support #190

Open
wants to merge 19 commits into
base: master
Choose a base branch
from
Open

Elfloader: NVIDIA Jetson Orin support #190

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
19 commits
Select commit Hold shift + click to select a range
9f2a8d0
elfloader: add support for Jetson Orin
Oct 24, 2023
276519b
elfloader: arm: flush dcache by va range instead
Nov 3, 2023
b9c6f44
elfloader: arm: stabilize secondary core booting
Nov 16, 2023
0cdf9c2
elfloader: arm: move kernel page table init code
Nov 16, 2023
0108b77
elfloader: arm: do not save FP and LR on stack
Nov 16, 2023
7b3c2f3
elfloader: arm: fix incorrect sp when restoring
Jul 11, 2023
1aa2fb0
elfloader: arm: fix function declaration
mro-github-12345 Jul 11, 2023
c329bef
elfloader: arm: fix alignment of AArch32
mro-github-12345 Jul 18, 2023
e8a15ec
elfloader: fix variable prototype and remove var
mro-github-12345 Aug 22, 2023
dea6924
elfloader: fix EFI image size
mro-github-12345 Aug 14, 2023
65b49ae
elfloader: move the data of ELFloader together
mro-github-12345 Aug 23, 2023
fa81fff
elfloader: arm: do not hard-code values
mro-github-12345 Jul 14, 2023
33f00c8
elfloader: arm: fix potential UB in right shift
mro-github-12345 Aug 21, 2023
4996de7
elfloader: setup pagetables as needed
mro-github-12345 Aug 23, 2023
5ebb1fc
elfloader: Exit UEFI boot services very early
mro-github-12345 Aug 24, 2023
80b8902
elfloader: Rewrite loop: Do not use goto
mro-github-12345 Dec 14, 2023
0e0a99d
elfloader: fix UEFI integration bug: descriptor
mro-github-12345 Dec 14, 2023
16ea8ef
elfloader: Set Exec-Never for Device Memory
mro-github-12345 Jan 31, 2024
84a55cd
elfloader: unconditionally set PTE shareability to
Feb 7, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
10 changes: 6 additions & 4 deletions elfloader-tool/include/arch-arm/64/mode/structures.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,12 @@

#pragma once

/* ARM VMSAv8-64 (with a fully populated last level) has the same number of PTEs
* in all levels (we don't use concatenated pagetables in ELFloader) and each
* table entry is always eight bytes large.
*/
#define BITS_PER_LEVEL (PAGE_BITS - 3)

#define ARM_1GB_BLOCK_BITS 30
#define ARM_2MB_BLOCK_BITS 21

Expand All @@ -26,9 +32,5 @@
#define GET_PMD_INDEX(x) (((word_t)(x) >> (ARM_2MB_BLOCK_BITS)) & MASK(PMD_BITS))

extern uint64_t _boot_pgd_up[BIT(PGD_BITS)];
extern uint64_t _boot_pud_up[BIT(PUD_BITS)];
extern uint64_t _boot_pmd_up[BIT(PMD_BITS)];

extern uint64_t _boot_pgd_down[BIT(PGD_BITS)];
extern uint64_t _boot_pud_down[BIT(PUD_BITS)];

15 changes: 15 additions & 0 deletions elfloader-tool/include/arch-arm/elfloader.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,22 @@ typedef void (*init_arm_kernel_t)(word_t ui_p_reg_start,

/* Enable the mmu. */
extern void arm_enable_mmu(void);

/* These functions are very similar however, there are some small differences
* between the ARMv8 and legacy implementation.
*
* New ARMv8 implementation:
* - Does the MMU disabling. This is to keep the time spent with MMU off low.
* - Is only meant if seL4 runs in EL2.
*/
#if defined(CONFIG_ARCH_AARCH64)
/* Switches MMU-related stuff: pagetables, MAIR & TCR etc. Works also if the MMU
* was off initially. EL2 translation regime only.
*/
extern void arm_switch_to_hyp_tables(void);
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Perhaps call it aarch64_switch_to_hyp_tables if there is no 32-bit version of it.

#else
extern void arm_enable_hyp_mmu(void);
#endif


/* Setup boot VSpace. */
Expand Down
5 changes: 5 additions & 0 deletions elfloader-tool/include/drivers/uart.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,7 @@

#pragma once

#include <autoconf.h>
#include <drivers/common.h>

#define dev_get_uart(dev) ((struct elfloader_uart_ops *)(dev->drv->ops))
Expand All @@ -16,3 +17,7 @@ struct elfloader_uart_ops {

volatile void *uart_get_mmio(void);
void uart_set_out(struct elfloader_device *out);
#if defined(CONFIG_ARCH_AARCH64)
/* Implemented in mmu.c */
void mmu_set_uart_base(volatile void *base);
#endif
Loading