19 lines
803 B
Bash
Executable File
19 lines
803 B
Bash
Executable File
#!/bin/bash
|
|
script_dir=$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )
|
|
|
|
# root of the initrd, that will be used to create the cpio archive
|
|
[[ -n "$ROOT" ]] ||
|
|
export ROOT="${script_dir}/build/initrd_root"
|
|
# you need busybox to be able to instsall
|
|
[[ -n "$BUSYBOX_PATH" ]] ||
|
|
export BUSYBOX_PATH="/usr/lib/initcpio/busybox"
|
|
# choose a kernel if you don't want to use the active one
|
|
[[ -n "$KERNEL" ]] ||
|
|
export KERNEL="$(uname -r)"
|
|
# this is the DeTEE Guest API that allows you to control the initrd
|
|
[[ -n "$GUEST_API_URL" ]] ||
|
|
export GUEST_API_URL="https://gitea.detee.cloud/ghe0/stuff/releases/download/v0.0.0/guest_api.zst"
|
|
# this will allow you to grab modules from the machine where the installer is running
|
|
[[ -n "$GRAB_LOCAL_MODS" ]] ||
|
|
export GRAB_LOCAL_MODS="no"
|