rumprun/app-tools/rumprun-bake.conf at 5418b11cb5d65832ca308df162ea28f0a7c8e67b · rumpkernel/rumprun · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
#
# rumpbake default configuration file
#

version 20160209

#
# First, define internal convenience sets.
#
conf _foundation
	create	"basic components for the Rumprun unikernel"
	add	-lrumpvfs			\
		-lrumpkern_bmktc		\
		-lrumpkern_mman			\
		-lrumpdev			\
		-lrumpfs_tmpfs			\
		-lrumpnet_config		\
		-lrumpnet			\
		-lrumpdev_bpf			\
		-lrumpdev_vnd			\
		-lrumpdev_rnd			\
		-lrumprunfs_base
fnoc

conf _virtio
	create	"virtio drivers"
	add	-lrumpdev_virtio_if_vioif	\
		-lrumpdev_virtio_ld		\
		-lrumpdev_virtio_viornd		\
		-lrumpdev_pci_virtio		\
		-lrumpdev_pci
fnoc

conf _audio
	create	"audio subsystem and some PCI audio device drivers"
	add	-lrumpdev_audio			\
		-lrumpdev_audio_ac97		\
		-lrumpdev_pci_auich		\
		-lrumpdev_pci_eap		\
		-lrumpdev_pci_hdaudio		\
		-lrumpdev_hdaudio_hdafg
fnoc

conf _netinet
	create	"TCP/IP (v4)"
	add	-lrumpnet_netinet		\
		-lrumpnet_net			\
		-lrumpnet
fnoc

conf _netinet6
	create	"TCP/IP (v6)"
	add	-lrumpnet_netinet6		\
		-lrumpnet_net			\
		-lrumpnet
fnoc

conf _netunix
	create	"local domain sockets"
	add	-lrumpnet_local			\
		-lrumpnet
fnoc

conf _stdfs
	create	"selection of file system drivers"
	add	-lrumpfs_ffs			\
		-lrumpfs_cd9660			\
		-lrumpfs_ext2fs			\
		-lrumpdev_disk			\
		-lrumpvfs
fnoc

conf _pciether
	create	"PCI Ethernet NIC drivers"
	add	-lrumpdev_pci_if_wm		\
		-lrumpdev_miiphy		\
		-lrumpdev_pci
fnoc

conf _usb
	create	"USB stack incl. PCI USB host controllers"
	add	-lrumpdev_pci_usbhc		\
		-lrumpdev_usb			\
		-lrumpdev_umass			\
		-lrumpdev_scsipi		\
		-lrumpdev_pci
fnoc

# this is a config so that it can be assimilated
conf _sysproxy
	create	"system call proxy support"
	add	-lrumpkern_sysproxy
fnoc

conf _miconf
	create		"general useful MI/pseudo driver set"
	assimilate	_foundation		\
			_netinet		\
			_netinet6		\
			_netunix		\
			_stdfs			\
			_sysproxy
fnoc

conf _virtio_scsi
	create		"virtio SCSI"
	add		-lrumpdev_virtio_vioscsi
	add		-lrumpdev_scsipi
fnoc


#
# then, define some end-user configs
#

conf xen_pv
	create		"Xen with paravirtualized I/O drivers"
	assimilate	_miconf
	add		-lrumpfs_kernfs		\
			-lrumpnet_xenif		\
			-lrumpxen_xendev
fnoc

conf xen_pci
	create		"Xen with paravirtualized and PCI I/O drivers"
	assimilate	xen_pv			\
			_pciether
fnoc

conf hw_virtio
	create		"virtio targets (e.g. QEMU/KVM)"
	assimilate	_miconf			\
			_virtio
fnoc

conf hw_virtio_scsi
	create		"virtio targets with SCSI (e.g. QEMU/KVM)"
	assimilate	_miconf			\
			_virtio			\
			_virtio_scsi
fnoc

conf hw_generic
	create		"generic targets, includes (almost) all drivers"
	assimilate	_miconf			\
			_virtio			\
			_virtio_scsi		\
			_audio			\
			_pciether		\
			_usb
fnoc

conf hw_lkl
	create		"LKL generic (a.k.a all) targets"
	add		-llkl
	add		-lrumprun_base
	add		-lrumpdev_linux_pci
fnoc

conf xen_pv_lkl
	create		"Xen with paravirtualized I/O drivers with LKL"
	add		-llkl
	add		-lrumprun_base
	add		-lrumpdev_linux_pci
fnoc