26 KiB
layout | title | permalink | redirect_from | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
doc | Qrexec3 | /doc/qrexec3/ |
|
Command execution in VMs
(This page is about qrexec v3. For qrexec v2, see here.)
The qrexec framework is used by core Qubes components to implement communication between domains. Qubes domains are isolated by design, but there is a need for a mechanism to allow the administrative domain (dom0) to force command execution in another domain (VM). For instance, when user selects an application from the KDE menu, it should be started in the selected VM. Also, it is often useful to be able to pass stdin/stdout/stderr from an application running in a VM to dom0 (and the other way around). In specific circumstances, Qubes allows VMs to be initiators of such communications (so, for example, a VM can notify dom0 that there are updates available for it).
Qrexec basics
Qrexec is built on top of vchan (a library providing data links between
VMs). During domain creation a process named qrexec-daemon
is started
in dom0, and a process named qrexec-agent
is started in the VM. They are
connected over vchan channel. qrexec-daemon
listens for connections
from dom0 utility named qrexec-client
. Typically, the first thing that a
qrexec-client
instance does is to send a request to qrexec-daemon
to
start a process (let's name it VMprocess
) with a given command line in
a specified VM (someVM
). qrexec-daemon
assigns unique vchan connection
details and sends them both to qrexec-client
(in dom0) and qrexec-agent
(in someVM
). qrexec-client
starts a vchan server which qrexec-agent
connects to. Since then, stdin/stdout/stderr from the VMprocess is passed
via vchan between qrexec-agent
and the qrexec-client
process.
So, for example, executing in dom0:
qrexec-client -d someVM user:bash
allows to work with the remote shell. The string before the first
semicolon specifies what user to run the command as. Adding -e
on the
qrexec-client
command line results in mere command execution (no data
passing), and qrexec-client
exits immediately after sending the execution
request and receiving status code from qrexec-agent
(whether the process
creation succeeded). There is also the -l local_program
flag -- with it,
qrexec-client
passes stdin/stdout of the remote process to the (spawned
for this purpose) local_program
, not to its own stdin/stdout.
The qvm-run
command is heavily based on qrexec-client
. It also takes care
of additional activities, e.g. starting the domain if it is not up yet and
starting the GUI daemon. Thus, it is usually more convenient to use qvm-run
.
There can be almost arbitrary number of qrexec-client
processes for a
domain (so, connected to the same qrexec-daemon
, same domain) -- their
data is multiplexed independently. Number of available vchan channels is
the limiting factor here, it depends on the underlying hypervisor.
Qubes RPC services
Some tasks (like inter-vm file copy) share the same rpc-like structure: a process in one VM (say, file sender) needs to invoke and send/receive data to some process in other VM (say, file receiver). Thus, the Qubes RPC framework was created, facilitating such actions.
Obviously, inter-VM communication must be tightly controlled to prevent one VM from taking control over other, possibly more privileged, VM. Therefore the design decision was made to pass all control communication via dom0, that can enforce proper authorization. Then, it is natural to reuse the already-existing qrexec framework.
Also, note that bare qrexec provides VM <-> dom0
connectivity, but the
command execution is always initiated by dom0. There are cases when VM needs
to invoke and send data to a command in dom0 (e.g. to pass information on
newly installed .desktop
files). Thus, the framework allows dom0 to be
the rpc target as well.
Thanks to the framework, RPC programs are very simple -- both rpc client
and server just use their stdin/stdout to pass data. The framework does all
the inner work to connect these processes to each other via qrexec-daemon
and qrexec-agent
. Additionally, disposable VMs are tightly integrated --
rpc to a DisposableVM is identical to rpc to a normal domain, all one needs
is to pass $dispvm
as the remote domain name.
Qubes RPC administration
(TODO: fix for non-linux dom0)
In dom0, there is a bunch of files in /etc/qubes-rpc/policy
directory,
whose names describe the available rpc actions. Their content is the rpc
access policy database. Currently defined actions are:
qubes.ClipboardPaste
qubes.Filecopy
qubes.GetImageRGBA
qubes.GetRandomizedTime
qubes.Gpg
qubes.GpgImportKey
qubes.InputKeyboard
qubes.InputMouse
qubes.NotifyTools
qubes.NotifyUpdates
qubes.OpenInVM
qubes.OpenURL
qubes.PdfConvert
qubes.ReceiveUpdates
qubes.SyncAppMenus
qubes.USB
qubes.VMShell
qubes.WindowIconUpdater
These files contain lines with the following format:
srcvm destvm (allow|deny|ask)[,user=user_to_run_as][,target=VM_to_redirect_to]
You can specify srcvm and destvm by name, or by one of $anyvm
, $dispvm
,
dom0
reserved keywords (note string dom0
does not match the $anyvm
pattern; all other names do). Only $anyvm
keyword makes sense in srcvm
field (service calls from dom0 are currently always allowed, $dispvm
means "new VM created for this particular request," so it is never a
source of request). Currently there is no way to specify source VM by
type. Whenever a rpc request for action X is received, the first line in
/etc/qubes-rpc/policy/X
that match srcvm/destvm is consulted to determine
whether to allow rpc, what user account the program should run in target VM
under, and what VM to redirect the execution to. Note that if the request is
redirected (target=
parameter), policy action remains the same - even if
there is another rule which would otherwise deny such request. If the policy
file does not exits, user is prompted to create one; if still there is no
policy file after prompting, the action is denied.
In the target VM, the /etc/qubes-rpc/RPC_ACTION_NAME
must exist, containing
the file name of the program that will be invoked, or being that program itself
- in which case it must have executable permission set (
chmod +x
).
In the src VM, one should invoke the client via:
/usr/lib/qubes/qrexec-client-vm target_vm_name RPC_ACTION_NAME rpc_client_path client arguments
Note that only stdin/stdout is passed between rpc server and client --
notably, no command line argument are passed. Source VM name is specified by
QREXEC_REMOTE_DOMAIN
environment variable. By default, stderr of client
and server is logged to respective /var/log/qubes/qrexec.XID
files.
It is also possible to call service without specific client program - in which
case server stdin/out will be connected with the terminal:
/usr/lib/qubes/qrexec-client-vm target_vm_name RPC_ACTION_NAME
Be very careful when coding and adding a new rpc service. Unless the
offered functionality equals full control over the target (it is the case
with e.g. qubes.VMShell
action), any vulnerability in a rpc server can
be fatal to Qubes security. On the other hand, this mechanism allows to
delegate processing of untrusted input to less privileged (or disposable)
AppVMs, thus wise usage of it increases security.
Extra keywords available in Qubes 4.0 and later
This section is about not yet released version, some details may change
In Qubes 4.0, target VM can be specified also as $dispvm:DISP_VM
, which is
very similar to $dispvm
but force using particular VM (DISP_VM
) as a base
VM to be started as Disposable VM. For example:
anon-whonix $dispvm:anon-whonix-dvm allow
Adding such policy itself will not force usage of this particular DISP_VM
-
it will only allow it when specified by the caller. But $dispvm:DISP_VM
can
also be used as target in request redirection, so it is possible to force
particular DISP_VM
usage, when caller didn't specified it:
anon-whonix $dispvm allow,target=$dispvm:anon-whonix-dvm
Note that without redirection, this rule would allow using default Disposable
VM (default_dispvm
VM property, which itself defaults to global
default_dispvm
property).
Also note that the request will be allowed (allow
action) even if there is no
second rule allowing calls to $dispvm:anon-whonix-dvm
, or even if
there is a rule explicitly denying it. This is because the redirection happen
after considering the action.
In Qubes 4.0 there are also additional methods to specify source/target VM:
$tag:some-tag
- meaning a VM with tagsome-tag
$type:type
- meaning a VM oftype
(likeAppVM
,TemplateVM
etc)
Target VM can be also specified as $default
, which matches the case when
calling VM didn't specified any particular target (either by using $default
target, or empty target).
Service argument in policy
Sometimes just service name isn't enough to make reasonable qrexec policy. One example of such situation is qrexec-based USB passthrough - using just service name it isn't possible to express policy "allow access to device X and deny to others". It isn't also feasible to create separate service for every device...
For this reason, starting with Qubes 3.2, it is possible to specify service argument, which will be subject to policy. Besides above example of USB passthrough, service argument can make many service policies more fine-grained and easier to write precise policy with "allow" and "deny" actions, instead of "ask" (offloading additional decisions to the user). And generally the less choices user must make, the lower chance to make a mistake.
The syntax is simple: when calling service, add an argument to the service name
separated with +
sign, for example:
/usr/lib/qubes/qrexec-client-vm target_vm_name RPC_ACTION_NAME+ARGUMENT
Then create policy as usual, including argument
(/etc/qubes-rpc/policy/RPC_ACTION_NAME+ARGUMENT
). If policy for specific
argument is not set (file does not exist), then default policy for this service
is loaded (/etc/qubes-rpc/policy/RPC_ACTION_NAME
).
In target VM (when the call is allowed) service file will searched as:
/etc/qubes-rpc/RPC_ACTION_NAME+ARGUMENT
/etc/qubes-rpc/RPC_ACTION_NAME
In any case, the script will receive ARGUMENT
as its argument and additionally as
QREXEC_SERVICE_ARGUMENT
environment variable. This means it is also possible
to install different script for particular service argument.
See below for example service using argument.
Revoking "Yes to All" authorization
Qubes RPC policy supports "ask" action. This will prompt the user whether given RPC call should be allowed. That prompt window has also "Yes to All" option, which will allow the action and add new entry to the policy file, which will unconditionally allow further calls for given service-srcVM-dstVM tuple.
In order to remove such authorization, issue this command from a dom0 terminal
(for qubes.Filecopy
service):
sudo nano /etc/qubes-rpc/policy/qubes.Filecopy
and then remove the first line(s) (before the first ##
comment) which are
the "Yes to All" results.
Qubes RPC example
We will show the necessary files to create rpc call that adds two integers on the target and returns back the result to the invoker.
-
rpc client code (
/usr/bin/our_test_add_client
):#!/bin/sh echo $1 $2 # pass data to rpc server exec cat >&$SAVED_FD_1 # print result to the original stdout, not to the other rpc endpoint
-
rpc server code (/usr/bin/our_test_add_server)
#!/bin/sh read arg1 arg2 # read from stdin, which is received from the rpc client echo $(($arg1+$arg2)) # print to stdout - so, pass to the rpc client
-
policy file in dom0 (/etc/qubes-rpc/policy/test.Add )
$anyvm $anyvm ask
-
server path definition ( /etc/qubes-rpc/test.Add)
/usr/bin/our_test_add_server
-
invoke rpc via
/usr/lib/qubes/qrexec-client-vm target_vm test.Add /usr/bin/our_test_add_client 1 2
and we should get "3" as answer, after dom0 allows it.
Note: For a real world example of writing a qrexec service, see this blog post.
Qubes RPC example - with argument usage
We will show the necessary files to create rpc call that reads specific file
from predefined directory on the target. Besides really naive storage, it may
be very simple password manager.
Additionally in this example simplified workflow will be used - server code
placed directly in service definition file (in /etc/qubes-rpc
directory). And
no separate client script will be used.
-
rpc server code (/etc/qubes-rpc/test.File)
#!/bin/sh argument="$1" # service argument, also available as $QREXEC_SERVICE_ARGUMENT if [ -z "$argument" ]; then echo "ERROR: No argument given!" exit 1 fi # service argument is already sanitized by qrexec framework and it is # quaranted to not contain any space or /, so no need for additional path # sanitization cat "/home/user/rpc-file-storage/$argument"
-
specific policy file in dom0 (/etc/qubes-rpc/policy/test.File+testfile1 )
source_vm1 target_vm allow
-
another specific policy file in dom0 (/etc/qubes-rpc/policy/test.File+testfile2 )
source_vm2 target_vm allow
-
default policy file in dom0 (/etc/qubes-rpc/policy/test.File )
$anyvm $anyvm deny
-
invoke rpc from
source_vm1
via/usr/lib/qubes/qrexec-client-vm target_vm test.File+testfile1
and we should get content of
/home/user/rpc-file-storage/testfile1
as answer. -
also possible to invoke rpc from
source_vm2
via/usr/lib/qubes/qrexec-client-vm target_vm test.File+testfile2
But when invoked with other argument or from different VM, it should be denied.
Qubes RPC internals
(This is about the implementation of qrexec v3. For the implementation of qrexec v2, see here.)
Qrexec framework consists of a number of processes communicating with each other using common IPC protocol (described in detail below). Components residing in the same domain use pipes as the underlying transport medium, while components in separate domains use vchan link.
Dom0 tools implementation
/usr/lib/qubes/qrexec-daemon
: One instance is required for every active domain. Responsible for:- Handling execution and service requests from dom0 (source:
qrexec-client
). - Handling service requests from the associated domain (source:
qrexec-client-vm
, thenqrexec-agent
).
- Handling execution and service requests from dom0 (source:
- Command line:
qrexec-daemon domain-id domain-name [default user]
domain-id
: Numeric Qubes ID assigned to the associated domain.domain-name
: Associated domain name.default user
: Optional. If passed,qrexec-daemon
uses this user as default for all execution requests that don't specify one./usr/lib/qubes/qrexec-policy
: Internal program used to evaluate the RPC policy and deciding whether a RPC call should be allowed./usr/lib/qubes/qrexec-client
: Used to pass execution and service requests toqrexec-daemon
. Command line parameters:-d target-domain-name
: Specifies the target for the execution/service request.-l local-program
: Optional. If present,local-program
is executed and its stdout/stdin are used when sending/receiving data to/from the remote peer.-e
: Optional. If present, stdout/stdin are not connected to the remote peer. Only process creation status code is received.-c <request-id,src-domain-name,src-domain-id>
: used for connecting a VM-VM service request byqrexec-policy
. Details described below in the service example.cmdline
: Command line to pass toqrexec-daemon
as the execution/service request. Service request format is described below in the service example.
Note: None of the above tools are designed to be used by users directly.
VM tools implementation
qrexec-agent
: One instance runs in each active domain. Responsible for:- Handling service requests from
qrexec-client-vm
and passing them to connectedqrexec-daemon
in dom0. - Executing associated
qrexec-daemon
execution/service requests.
- Handling service requests from
- Command line parameters: none.
qrexec-client-vm
: Runs in an active domain. Used to pass service requests toqrexec-agent
.- Command line:
qrexec-client-vm target-domain-name service-name local-program [local program arguments]
target-domain-name
: Target domain for the service request. Source is the current domain.service-name
: Requested service name.local-program
:local-program
is executed locally and its stdin/stdout are connected to the remote service endpoint.
Qrexec protocol details
Qrexec protocol is message-based. All messages share a common header followed by an optional data packet.
/* uniform for all peers, data type depends on message type */
struct msg_header {
uint32_t type; /* message type */
uint32_t len; /* data length */
};
When two peers establish connection, the server sends MSG_HELLO
followed by
peer_info
struct:
struct peer_info {
uint32_t version; /* qrexec protocol version */
};
The client then should reply with its own MSG_HELLO
and peer_info
. If
protocol versions don't match, the connection is closed.
(TODO: fallback for backwards compatibility, don't do handshake in the same domain?)
Details of all possible use cases and the messages involved are described below.
dom0: request execution of some_command
in domX and pass stdin/stdout
-
dom0:
qrexec-client
is invoked in dom0 as follows:qrexec-client -d domX [-l local_program] user:some_command
user
may be substituted with the literalDEFAULT
. In that case, default Qubes user will be used to executesome_command
.
-
dom0:
qrexec-client
setsQREXEC_REMOTE_DOMAIN
environment variable to domX. -
dom0: If
local_program
is set,qrexec-client
executes it and uses that child's stdin/stdout in place of its own when exchanging data withqrexec-agent
later. -
dom0:
qrexec-client
connects to domX'sqrexec-daemon
. -
dom0:
qrexec-daemon
sendsMSG_HELLO
header followed bypeer_info
toqrexec-client
. -
dom0:
qrexec-client
replies withMSG_HELLO
header followed bypeer_info
toqrexec-daemon
. -
dom0:
qrexec-client
sendsMSG_EXEC_CMDLINE
header followed byexec_params
toqrexec-daemon
./* variable size */ struct exec_params { uint32_t connect_domain; /* target domain id */ uint32_t connect_port; /* target vchan port for i/o exchange */ char cmdline[0]; /* command line to execute, size = msg_header.len - sizeof(struct exec_params) */ };
In this case,
connect_domain
andconnect_port
are set to 0. -
dom0:
qrexec-daemon
replies toqrexec-client
withMSG_EXEC_CMDLINE
header followed byexec_params
, but with emptycmdline
field.connect_domain
is set to Qubes ID of domX andconnect_port
is set to a vchan port allocated byqrexec-daemon
. -
dom0:
qrexec-daemon
sendsMSG_EXEC_CMDLINE
header followed byexec_params
to the associated domXqrexec-agent
over vchan.connect_domain
is set to 0 (dom0),connect_port
is the same as sent toqrexec-client
.cmdline
is unchanged except that the literalDEFAULT
is replaced with actual user name, if present. -
dom0:
qrexec-client
disconnects fromqrexec-daemon
. -
dom0:
qrexec-client
starts a vchan server using the details received fromqrexec-daemon
and waits for connection from domX'sqrexec-agent
. -
domX:
qrexec-agent
receivesMSG_EXEC_CMDLINE
header followed byexec_params
fromqrexec-daemon
over vchan. -
domX:
qrexec-agent
connects toqrexec-client
over vchan using the details fromexec_params
. -
domX:
qrexec-agent
executessome_command
in domX and connects the child's stdin/stdout to the data vchan. If the process creation fails,qrexec-agent
sendsMSG_DATA_EXIT_CODE
toqrexec-client
followed by the status code (int) and disconnects from the data vchan. -
Data read from
some_command
's stdout is sent to the data vchan usingMSG_DATA_STDOUT
byqrexec-agent
.qrexec-client
passes data received asMSG_DATA_STDOUT
to its own stdout (or tolocal_program
's stdin if used). -
qrexec-client
sends data read from local stdin (orlocal_program
's stdout if used) toqrexec-agent
over the data vchan usingMSG_DATA_STDIN
.qrexec-agent
passes data received asMSG_DATA_STDIN
tosome_command
's stdin. -
MSG_DATA_STDOUT
orMSG_DATA_STDIN
with datalen
field set to 0 inmsg_header
is an EOF marker. Peer receiving such message should close the associated input/output pipe. -
When
some_command
terminates, domX'sqrexec-agent
sendsMSG_DATA_EXIT_CODE
header toqrexec-client
followed by the exit code (int).qrexec-agent
then disconnects from the data vchan.
domY: invoke execution of qubes service qubes.SomeRpc
in domX and pass stdin/stdout
-
domY:
qrexec-client-vm
is invoked as follows:`qrexec-client-vm domX qubes.SomeRpc local_program [params]`
-
domY:
qrexec-client-vm
connects toqrexec-agent
(via local socket/named pipe). -
domY:
qrexec-client-vm
sendstrigger_service_params
data toqrexec-agent
(without filling therequest_id
field):struct trigger_service_params { char service_name[64]; char target_domain[32]; struct service_params request_id; /* service request id */ }; struct service_params { char ident[32]; };
-
domY:
qrexec-agent
allocates a locally-unique (for this domain)request_id
(let's say13
) and fills it in thetrigger_service_params
struct received fromqrexec-client-vm
. -
domY:
qrexec-agent
sendsMSG_TRIGGER_SERVICE
header followed bytrigger_service_params
toqrexec-daemon
in dom0 via vchan. -
dom0: domY's
qrexec-daemon
executesqrexec-policy
:qrexec-policy domY_id domY domX qubes.SomeRpc 13
. -
dom0:
qrexec-policy
evaluates if the RPC should be allowed or denied. If the action is allowed it returns0
, if the action is denied it returns1
. -
dom0: domY's
qrexec-daemon
checks the exit code ofqrexec-policy
.- If
qrexec-policy
returned not0
: domY'sqrexec-daemon
sendsMSG_SERVICE_REFUSED
header followed byservice_params
to domY'sqrexec-agent
.service_params.ident
is identical to the one received. domY'sqrexec-agent
disconnects itsqrexec-client-vm
and RPC processing is finished. - If
qrexec-policy
returned0
, RPC processing continues.
- If
-
dom0: if
qrexec-policy
allowed the RPC, it executedqrexec-client -d domX -c 13,domY,domY_id user:QUBESRPC qubes.SomeRpc domY
. -
dom0:
qrexec-client
setsQREXEC_REMOTE_DOMAIN
environment variable to domX. -
dom0:
qrexec-client
connects to domX'sqrexec-daemon
. -
dom0: domX's
qrexec-daemon
sendsMSG_HELLO
header followed bypeer_info
toqrexec-client
. -
dom0:
qrexec-client
replies withMSG_HELLO
header followed bypeer_info
to domX'sqrexec-daemon
. -
dom0:
qrexec-client
sendsMSG_EXEC_CMDLINE
header followed byexec_params
to domX'sqrexec-daemon
/* variable size */ struct exec_params { uint32_t connect_domain; /* target domain id */ uint32_t connect_port; /* target vchan port for i/o exchange */ char cmdline[0]; /* command line to execute, size = msg_header.len - sizeof(struct exec_params) */ };
In this case,
connect_domain
is set to id of domY (from the-c
parameter) andconnect_port
is set to 0.cmdline
field contains the RPC to execute, in this caseuser:QUBESRPC qubes.SomeRpc domY
. -
dom0: domX's
qrexec-daemon
replies toqrexec-client
withMSG_EXEC_CMDLINE
header followed byexec_params
, but with emptycmdline
field.connect_domain
is set to Qubes ID of domX andconnect_port
is set to a vchan port allocated by domX'sqrexec-daemon
. -
dom0: domX's
qrexec-daemon
sendsMSG_EXEC_CMDLINE
header followed byexec_params
to domX'sqrexec-agent
.connect_domain
andconnect_port
fields are the same as in the step above.cmdline
is set to the one received fromqrexec-client
, in this caseuser:QUBESRPC qubes.SomeRpc domY
. -
dom0:
qrexec-client
disconnects from domX'sqrexec-daemon
after receiving connection details. -
dom0:
qrexec-client
connects to domY'sqrexec-daemon
and exchangesMSG_HELLO
as usual. -
dom0:
qrexec-client
sendsMSG_SERVICE_CONNECT
header followed byexec_params
to domY'sqrexec-daemon
.connect_domain
is set to ID of domX (received from domX'sqrexec-daemon
) andconnect_port
is the one received as well.cmdline
is set to request ID (13
in this case). -
dom0: domY's
qrexec-daemon
sendsMSG_SERVICE_CONNECT
header followed byexec_params
to domY'sqrexec-agent
. Data fields are unchanged from the step above. -
domY:
qrexec-agent
starts a vchan server on the port received in the step above. It acts as aqrexec-client
in this case because this is a VM-VM connection. -
domX:
qrexec-agent
connects to the vchan server of domY'sqrexec-agent
(connection details were received before from domX'sqrexec-daemon
). -
After that, connection follows the flow of the previous example (dom0-VM).