ppc64: Don't set Kp bit on SLB
[openbios/afaerber.git] / forth / admin / userboot.fs
blobdd7695874504efbf94147afb788f530aa9e0af43
1 \ 7.4.3.5 User commands for booting
3 : boot ( "{param-text}<cr>" -- )
4 linefeed parse
6 \ Copy NVRAM parameters from boot-file to bootargs in case any parameters have
7 \ been specified for the platform-specific boot code
8 s" boot-file" $find drop execute
9 encode-string
10 " /chosen" (find-dev) if
11 " bootargs" rot (property)
12 then
14 \ Execute platform-specific boot code, e.g. kernel
15 s" platform-boot" $find if
16 execute
17 then
19 (encode-bootpath) \ Setup bootpath/bootargs
20 $load \ load and go
25 \ : diagnostic-mode? ( -- diag? )
26 \ ;
28 \ : diag-switch? ( -- diag? )
29 \ ;