Index of /

	Name	Last modified	Size	Description
	silk/	2020-06-11 14:42	-
	powder/	2019-09-23 12:02	-
	powder-testing/	2020-02-28 17:24	-
	powder-legacy/	2019-09-23 12:02	-
	powder-endpoints/	2019-09-23 12:02	-
	openzms/	2024-12-14 10:58	-
	openzms-testing/	2024-12-14 10:57	-
	grub-backports/	2023-04-19 19:29	-
	frr/	2019-10-31 11:34	-
	ettus/	2021-09-15 09:19	-
	emulab/	2022-09-26 14:46	-
	emulab.key	2022-12-29 23:59	3.8K
	emulab-xen/	2019-09-23 12:21	-
	emulab-testing/	2023-01-02 16:54	-
	emulab-public.key	2022-12-29 23:59	3.8K
	emulab-legacy.key	2019-09-23 12:42	2.4K

Instructions for Ubuntu
=======================

1. Import the Emulab signing pubkey:

    $ wget -O - http://repos.emulab.net/emulab.key | sudo apt-key add -

2. As root, add a sources file for the repository you're interested in; e.g.,

    $ echo "deb http://repos.emulab.net/emulab-xen/ubuntu $(. /etc/os-release ; echo $UBUNTU_CODENAME) main" > /etc/apt/sources.list.d/emulab-xen.list

3. Install packages you need:

sudo apt-get --no-install-recommends install python3-uhd uhd-host libuhd-dev libuhd4.0.0
sudo apt-get install gnuradio

Prioritizing this Repository
----------------------------
Some packages are nontrivial to meaningfully rename, like modern kernels.  So you might need a preferences file:

cat <<EOF >/etc/apt/preferences.d/emulab
Package: *
Pin: origin repos.emulab.net
Pin-Priority: 900
EOF