1.1 --- a/tests/dstest_host_server.cc Fri Apr 02 22:38:14 2021 +0200
1.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
1.3 @@ -1,63 +0,0 @@
1.4 -/*
1.5 - * Test dataspace operations.
1.6 - *
1.7 - * Copyright (C) 2020, 2021 Paul Boddie <paul@boddie.org.uk>
1.8 - *
1.9 - * This program is free software; you can redistribute it and/or
1.10 - * modify it under the terms of the GNU General Public License as
1.11 - * published by the Free Software Foundation; either version 2 of
1.12 - * the License, or (at your option) any later version.
1.13 - *
1.14 - * This program is distributed in the hope that it will be useful,
1.15 - * but WITHOUT ANY WARRANTY; without even the implied warranty of
1.16 - * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
1.17 - * GNU General Public License for more details.
1.18 - *
1.19 - * You should have received a copy of the GNU General Public License
1.20 - * along with this program; if not, write to the Free Software
1.21 - * Foundation, Inc., 51 Franklin Street, Fifth Floor,
1.22 - * Boston, MA 02110-1301, USA
1.23 - */
1.24 -
1.25 -#include <l4/re/env.h>
1.26 -#include <l4/sys/err.h>
1.27 -
1.28 -#include <stdio.h>
1.29 -#include <string.h>
1.30 -#include <stdlib.h>
1.31 -
1.32 -#include "memory_incremental.h"
1.33 -#include "memory_utils.h"
1.34 -#include "page_queue_shared.h"
1.35 -#include "pages.h"
1.36 -#include "resource_server.h"
1.37 -#include "host_file_opener.h"
1.38 -
1.39 -
1.40 -
1.41 -const unsigned int MEMORY_PAGES = 10;
1.42 -
1.43 -int main(void)
1.44 -{
1.45 - /* Some memory plus infrastructure. */
1.46 -
1.47 - MemoryIncremental mem(MEMORY_PAGES);
1.48 - PageQueueShared queue;
1.49 - Pages pages(&mem, &queue);
1.50 - HostFileOpener opener(&pages);
1.51 -
1.52 - /* Register a server associating it with the given object. */
1.53 -
1.54 - ResourceServer server(&opener);
1.55 - long err = server.bind("server");
1.56 -
1.57 - if (err)
1.58 - {
1.59 - printf("Could not bind server: %s\n", l4sys_errtostr(err));
1.60 - return 1;
1.61 - }
1.62 -
1.63 - printf("Starting server...\n");
1.64 - server.start();
1.65 - return 0;
1.66 -}