Hi Adrian, Am 18.04.2017 um 02:28 schrieb [email protected]: > Hi Robert, > > I am unable to reproduce this failure. Can I ask what host system and > toolchain you are using? Also which of the configs in sel4test?
Embarassing as it may be, I simply forgot the make xxdefconfig part, only doing a menuconfig configuration for ARM iMX6. Doing so, apparently I inherited some wrong settings from the present .config. Doing a defconfig first, everything works (both platforms). Sorry for the noise... Best Robert > > Adrian > > On Mon 17-Apr-2017 6:03 PM, Robert Kaiser wrote: >> Hi all, >> >> I just tried to run the test suite on iMX6. Using the current version >> from github, I got this result: >> >> ---------------------------- >> ..... >> Test suite failed. 200/202 tests passed. >> >> 200/202 tests passed. >> *** FAILURES DETECTED *** >> ---------------------------- >> >> Further checking into the log shows this: >> >> ---------------------------- >> ..... >> Starting test 51: TEST_SCHED0004 >> TEST_SCHED0004 >> Running test SCHED0004 (Test threads at all priorities) >> [email protected]:252 Regular cspace alloc failed, and >> failed from watermark >> >> [email protected]:46 Failed to allocate cslot: error 1 >> >> [email protected]:331 Failed to allocate page >> [email protected]:77 ipc buffer allocation failed >> Assertion failed: error == 0 >> ([.....]/seL4test/apps/sel4test-tests/src/helpers.c: >> create_helper_thread: 346) >> Failure: result == SUCCESS at line 343 of file >> [.....]/seL4test/apps/sel4test-driver/src/main.c >> Failure: Test check failure (see log). at line 0 of file >> ..... >> ---------------------------- >> >> The same test is run a second time further down below the log, giving >> the same result. >> >> I tested this on two different IMX6 platforms (SabreLite and Wandboard). >> Both showed identical results. >> >> Is this a known problem? >> >> Cheers >> >> Robert >> >> > -- Prof. Dr. Robert Kaiser Technische Informatik Hochschule RheinMain Wiesbaden Rüsselsheim Computer Engineering RheinMain University of Applied Sciences [email protected] http://www.cs.hs-rm.de/~kaiser tel:(+49)611-9495-1292 fax:(+49)611-9495-1210 Postanschrift/Postal Address: Robert Kaiser, Hochschule RheinMain, FB DCSM/Informatik Unter den Eichen 5, 65195 Wiesbaden, Germany _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
