7 lines
134 B
HTML
7 lines
134 B
HTML
# default settings
|
|
DEFAULT_MACHINE='raspberrypi*'
|
|
DEFAULT_KERNEL_IMAGE_TYPE=Image
|
|
|
|
# TODO card-kernel-write!!!
|
|
KERNEL_MAJOR_VERSION=4
|