OpenBSDLab - FAQ

How do I send a break over serial console?

Type: [ctrl]+[e], [c], [l], [0]

Where do I get distfile for port builds?

User the proxy 10.0.1.3 at port 8000. It allows you to fetch files from *.openbsd.org.

export http_proxy=http://10.0.1.3:8000

The console seems to be dead.

Type: [ctrl]+[e], [c], [o] to reopen the serial device.

How do I edit this website?

  1. Add your SSH-Key to /home/web/.ssh/authorized_keys on the testmaster maschine.
  2. git clone ssh://web@obsd-lab.genua.de:10031/home/web/obsdlab
  3. Edit the html files. Do NOT edit the svg files. They are generated from the dia files.
  4. Run make if you edit one of the dia files. This needs dia and inkscape installed on your local system.
  5. git commit
  6. git push

Which software do we run here?

github.com/younix/testmaster

How to use the kvm server?

  1. ~/.ssh/config:
    Host virt
            user user
            port 10043
            hostname obsd-lab.genua.de
  2. export LIBVIRT_DEFAULT_URI=qemu+ssh://user@virt/system
  3. virsh console user-vm
  4. virt-manager
    1. File → "Add Connection ..."
    2. Hypervisor: QEMU/KVM
    3. Connect remote host over SSH
    4. Username: user
    5. Hostname: virt

How to upgrade firmware of ixl(4)?

  1. Create msdos filesystem on usb drive:
  2. Download current firmware package from intel.de
  3. Boot into EFI-Shell