forked from seL4/camkes-vm-examples
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Signed-off-by: Chris Guikema <[email protected]>
- Loading branch information
1 parent
cfb4cb9
commit 926def0
Showing
4 changed files
with
178 additions
and
10 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,134 @@ | ||
| /* | ||
| * Copyright 2023, DornerWorks | ||
| * | ||
| * SPDX-License-Identifier: BSD-2-Clause | ||
| */ | ||
|
|
||
| #include <plat/smc.h> | ||
| #include <configurations/vm.h> | ||
|
|
||
| #define VM_INITRD_MAX_SIZE 0x1900000 //25 MB | ||
| #define VM_RAM_BASE 0x10000000 | ||
| #define VM_RAM_SIZE 0x10000000 | ||
| #define VM_ENTRY_ADDR 0x10080000 | ||
| #define VM_RAM_OFFSET 0 | ||
| #define VM_DTB_ADDR 0x12000000 | ||
| #define VM_INITRD_ADDR 0x13000000 | ||
|
|
||
| assembly { | ||
| composition {} | ||
| configuration { | ||
|
|
||
| vm0.vm_address_config = { | ||
| "ram_base" : VAR_STRINGIZE(VM_RAM_BASE), | ||
| "ram_paddr_base" : VAR_STRINGIZE(VM_RAM_BASE), | ||
| "ram_size" : VAR_STRINGIZE(VM_RAM_SIZE), | ||
| "dtb_addr" : VAR_STRINGIZE(VM_DTB_ADDR), | ||
| "initrd_addr" : VAR_STRINGIZE(VM_INITRD_ADDR), | ||
| "kernel_entry_addr" : VAR_STRINGIZE(VM_ENTRY_ADDR), | ||
| }; | ||
| vm0.num_vcpus = 4; | ||
|
|
||
| /* Extra untyped pool to allow for 256MB of RAM */ | ||
| vm0.simple_untyped28_pool = 1; | ||
|
|
||
| vm0.vm_image_config = { | ||
| "kernel_name" : "linux", | ||
| "initrd_name" : "linux-initrd", | ||
| "dtb_base_name" : "linux-dtb", | ||
| "kernel_bootcmdline" : "console=ttyPS0,115200 root=/dev/ram rw earlycon clk_ignore_unused", | ||
| "kernel_stdout" : "serial0:115200n8", | ||
| "generate_dtb" : true, | ||
| "provide_dtb" : false, | ||
| "map_one_to_one" : false, | ||
| "provide_initrd": true, | ||
| "clean_cache" : false, | ||
| }; | ||
|
|
||
| vm0.dtb = dtb([{"path": "/amba/serial@ff000000"} ]); | ||
|
|
||
| vm0.untyped_mmios = ["0xf9060000:12"]; // Interrupt Controller Virtual CPU interface (Virtual Machine view) | ||
|
|
||
| vm0.plat_keep_devices = [ | ||
| "/__symbols__", | ||
| "/aliases", | ||
| "/aux_ref_clk", | ||
| "/axi/interrupt-controller@f9010000", | ||
| "/dcc", | ||
| "/dp_aclk", | ||
| "/edac", | ||
| "/fclk0", | ||
| "/fclk1", | ||
| "/fclk2", | ||
| "/fclk3", | ||
| "/fpga-full", | ||
| "/gt_crx_ref_clk", | ||
| "/ina226-u15", | ||
| "/ina226-u16", | ||
| "/ina226-u65", | ||
| "/ina226-u74", | ||
| "/ina226-u75", | ||
| "/ina226-u76", | ||
| "/ina226-u77", | ||
| "/ina226-u78", | ||
| "/ina226-u79", | ||
| "/ina226-u80", | ||
| "/ina226-u81", | ||
| "/ina226-u84", | ||
| "/ina226-u85", | ||
| "/ina226-u86", | ||
| "/ina226-u87", | ||
| "/ina226-u88", | ||
| "/ina226-u92", | ||
| "/ina226-u93", | ||
| "/pmu", | ||
| "/psci", | ||
| "/pss_alt_ref_clk", | ||
| "/pss_ref_clk", | ||
| "/ref48M", | ||
| "/refhdmi", | ||
| "/timer", | ||
| "/video_clk", | ||
| "/axi/serial@ff000000", | ||
| ]; | ||
|
|
||
| vm0.plat_keep_devices_and_subtree = [ | ||
| "/firmware", | ||
| "/gpio-keys", | ||
| "/leds", | ||
| "/zynqmp_ipi", | ||
| ]; | ||
|
|
||
| vm0.allow_smc = true; | ||
| vm0.allowed_smc_functions = [ | ||
| SMC_PM_GET_API_VERSION, | ||
| SMC_PM_REQUEST_NODE, | ||
| SMC_PM_RELEASE_NODE, | ||
| SMC_PM_SET_REQUIREMENT, | ||
| SMC_PM_INIT_FINALIZE, | ||
| SMC_PM_FPGA_GET_STATUS, | ||
| SMC_PM_RESET_ASSERT, | ||
| SMC_PM_RESET_GET_STATUS, | ||
| SMC_PM_MMIO_WRITE, | ||
| SMC_PM_MMIO_READ, | ||
| SMC_PM_GET_CHIPID, | ||
| SMC_PM_PINCTRL_REQUEST, | ||
| SMC_PM_PINCTRL_RELEASE, | ||
| SMC_PM_PINCTRL_SET_FUNCTION, | ||
| SMC_PM_PINCTRL_CONFIG_PARAM_GET, | ||
| SMC_PM_PINCTRL_CONFIG_PARAM_SET, | ||
| SMC_PM_IOCTL, | ||
| SMC_PM_QUERY_DATA, | ||
| SMC_PM_CLOCK_ENABLE, | ||
| SMC_PM_CLOCK_DISABLE, | ||
| SMC_PM_CLOCK_GETSTATE, | ||
| SMC_PM_CLOCK_SETDIVIDER, | ||
| SMC_PM_CLOCK_GETDIVIDER, | ||
| SMC_PM_CLOCK_GETPARENT, | ||
| SMC_PM_GET_TRUSTZONE_VERSION, | ||
| SMC_IPI_MAILBOX_OPEN, | ||
| SMC_IPI_MAILBOX_RELEASE, | ||
| SMC_IPI_MAILBOX_ENABLE_IRQ | ||
| ]; | ||
| } | ||
| } |