Interface KernelDeviceCLIOptions

Options passed to device CLI handlers

interface KernelDeviceCLIOptions {
    args: string[];
    kernel: Kernel;
    pid: number;
    shell: Shell;
    terminal: Terminal;
}

Index

Properties

args kernel pid shell terminal

Properties

args

args: string[]

Command line arguments

kernel

kernel: Kernel

Kernel instance

pid

pid: number

Process ID of the CLI instance

shell

shell: Shell

Shell instance

terminal

terminal: Terminal

Terminal instance