be7f3fb5e4
there isnt much of a point in keep maintaining separate kernel configurations for terminal and cpu kernels as the role can be switched with service=cpu boot parameter. to make stuff cosistent, we will just have one "pc" kernel and one "pc64" kernel configuration now.
7 lines
99 B
INI
7 lines
99 B
INI
# config for initial cd booting
|
|
cdboot=yes
|
|
mouseport=ask
|
|
monitor=ask
|
|
vgasize=ask
|
|
bootfile=/386/9pc
|