TestU01: upgrade to 17.05 release

- Correct spelling of 'Alphabet' test to 'Alphabit'
- Remove config library dependency

Ref #74
This commit is contained in:
Emery Hemingway
2017-05-29 22:49:59 -05:00
parent e38eda2fc0
commit 5a1bd02ef4
6 changed files with 9 additions and 19 deletions

View File

@@ -1,4 +1,4 @@
set test_name "testu01_alphabet"
set test_name "testu01_alphabit"
source ${genode_dir}/repos/world/run/jitterentropy_testu01.inc

View File

@@ -23,12 +23,12 @@ create_boot_directory
set config {
<config>
<default caps="128"/>
<parent-provides>
<service name="CAP"/>
<service name="CPU"/>
<service name="LOG"/>
<service name="PD"/>
<service name="RAM"/>
<service name="RM"/>
<service name="ROM"/>
<service name="SIGNAL"/>
@@ -46,9 +46,8 @@ append config {">
<exit propagate="yes"/>
<resource name="RAM" quantum="1G"/>
<config file="/jitterentropy">
<libc stdout="/log" stderr="/log">
<vfs> <log/> <jitterentropy/> </vfs>
</libc>
<libc stdout="/log" stderr="/log"/>
<vfs> <log/> <jitterentropy/> </vfs>
</config>
</start>
</config>

View File

@@ -1,22 +1,13 @@
#include <os/config.h>
extern "C" {
#include <stdio.h>
#include <string.h>
void gdef_GetHostName (char machine[], int n)
{
try { Genode::config()->xml_node().attribute("hostname").value(machine, n); }
catch (...) { Genode::strncpy(machine, "genode", n); }
strncpy(machine, "genode", n);
}
void gdef_WriteHostName (void)
{
enum { MAXBYTES = 255 };
char machine[1 + MAXBYTES] = {'\0'};
gdef_GetHostName(machine, MAXBYTES);
printf("%s\n", machine);
}
void gdef_WriteHostName (void) { }
}

View File

@@ -6,7 +6,7 @@ extern "C" {
#include "bbattery.h"
}
void Libc::Component::construct(Genode::Env &env)
void Libc::Component::construct(Libc::Env &env)
{
using namespace Genode;

View File

@@ -12,7 +12,7 @@ extern "C" {
Genode::size_t Libc::Component::stack_size() { return 64*1024*sizeof(Genode::addr_t); }
void Libc::Component::construct(Genode::Env &env)
void Libc::Component::construct(Libc::Env &env)
{
using namespace Genode;