Minimal-init: Difference between revisions
From Xen
Jump to navigationJump to search
Lars.kurth (talk | contribs) mNo edit summary |
mNo edit summary |
||
| (One intermediate revision by one other user not shown) | |||
| Line 1: | Line 1: | ||
This script is relevant to [[Xen ARMv7 with Virtualization Extensions]]development. In order to make your Dom0 boot sequence faster on a Versatile Express, you might want to consider passing <code>init=/bin/bash</code> to your kernel and then manually executing this minimal init script. |
|||
#!/bin/bash |
#!/bin/bash |
||
| Line 10: | Line 12: | ||
mknod -m660 /dev/loop0 b 7 0 |
mknod -m660 /dev/loop0 b 7 0 |
||
mount -t sysfs sysfs /sys |
mount -t sysfs sysfs /sys |
||
mkdir -p /dev/pts |
|||
mount -t devpts devpts /dev/pts |
mount -t devpts devpts /dev/pts |
||
| Line 30: | Line 33: | ||
echo "Done" |
echo "Done" |
||
| ⚫ | |||
{{TODO|Follow up with [[User:StefanoStabellini]] to find out what purpose the code snipped serves and where to make it accessible from.}} |
|||
| ⚫ | |||
| ⚫ | |||
| ⚫ | |||
Latest revision as of 11:42, 5 April 2013
This script is relevant to Xen ARMv7 with Virtualization Extensionsdevelopment. In order to make your Dom0 boot sequence faster on a Versatile Express, you might want to consider passing init=/bin/bash to your kernel and then manually executing this minimal init script.
#!/bin/bash mount /proc mount -t xenfs xenfs /proc/xen mknod /dev/xen/evtchn c 10 61 mknod /dev/xen/privcmd c 10 59 mknod /dev/xen/gntdev c 10 60 mknod /dev/xen/xenbus_backend c 10 62 mknod /dev/xen/xenbus c 10 63 mknod -m660 /dev/loop0 b 7 0 mount -t sysfs sysfs /sys mkdir -p /dev/pts mount -t devpts devpts /dev/pts export LD_LIBRARY_PATH=/usr/local/lib echo "Starting Xenstored" xenstored -T /root/xenstored.log &>/root/xenstored.out echo "Xenstored started" echo "Starting xenconsoled" xenconsoled -i & echo "Xenconsoled started" echo "Setting up loop0" losetup /dev/loop0 /root/guestfs losetup -a echo "Writing dom0 name to xenstore" /usr/bin/xenstore-write "/local/domain/0/name" "Domain-0" echo "Done"
