Hi Kofi,
I am getting the attached error (Error Log.txt) while running seL4test.
Earlier it
used to run perfectly fine.
I am running the following commands:
$ repo init -u https://github.com/seL4/sel4test-manifest.git
$ repo sync
$ make clean
$ make ia32_simulation_release_xml_defconfig
$ make -j libmuslc && make
$ make simulate-ia32
Can you please look into this.
--
Thanks and Regards,
Amit Goyal
make simulate-ia32
qemu-system-i386 \
-m 512 -nographic -kernel images/kernel-ia32-pc99 \
-initrd images/sel4test-driver-image-ia32-pc99
2 untypeds of size 12
4 untypeds of size 13
5 untypeds of size 14
3 untypeds of size 15
4 untypeds of size 16
4 untypeds of size 17
5 untypeds of size 18
5 untypeds of size 19
4 untypeds of size 20
3 untypeds of size 21
3 untypeds of size 22
4 untypeds of size 23
2 untypeds of size 24
3 untypeds of size 25
3 untypeds of size 26
3 untypeds of size 27
1 untypeds of size 28
6 untypeds of size 29
Switching to a safer, bigger stack...
seL4 Test
=========
[email protected]:59 Failed to allocate object of size
2147483648, error 1
[email protected]:59 Failed to allocate object of size
1073741824, error 1
[email protected]:59 Failed to allocate object of size
536870912, error 1
[email protected]:59 Failed to allocate object of size
268435456, error 1
[email protected]:59 Failed to allocate object of size
134217728, error 1
[email protected]:59 Failed to allocate object of size
67108864, error 1
[email protected]:59 Failed to allocate object of size
33554432, error 1
[email protected]:59 Failed to allocate object of size
16777216, error 1
[email protected]:59 Failed to allocate object of size
8388608, error 1
[email protected]:59 Failed to allocate object of size
4194304, error 1
[email protected]:59 Failed to allocate object of size
2097152, error 1
[email protected]:59 Failed to allocate object of size
1048576, error 1
[email protected]:59 Failed to allocate object of size
524288, error 1
[email protected]:59 Failed to allocate object of size
262144, error 1
[email protected]:59 Failed to allocate object of size
131072, error 1
[email protected]:59 Failed to allocate object of size
65536, error 1
[email protected]:59 Failed to allocate object of size
32768, error 1
[email protected]:59 Failed to allocate object of size
16384, error 1
[email protected]:59 Failed to allocate object of size
8192, error 1
[email protected]:645 vspace is NULL
[email protected]:254 Failed to make reservation: 0x8048000, 512000
[email protected]:447 Failed to create reservations
[email protected]:482 Failed to reserve regions
Starting test suite sel4test
Starting test 0: Test that there are tests
Starting test 1: SYSCALL0000
Starting test 2: SYSCALL0001
Starting test 3: SYSCALL0002
Starting test 4: SYSCALL0003
Starting test 5: SYSCALL0004
Starting test 6: SYSCALL0005
Starting test 7: SYSCALL0006
Starting test 8: SYSCALL0010
Starting test 9: SYSCALL0011
Starting test 10: SYSCALL0012
Starting test 11: SYSCALL0013
Starting test 12: SYSCALL0014
Starting test 13: SYSCALL0015
Starting test 14: SYSCALL0016
Starting test 15: SYSCALL0017
Starting test 16: BIND0001
[email protected]:136 Failed to copy cap
Starting test 17: BIND0002
[email protected]:136 Failed to copy cap
Starting test 18: BIND0003
[email protected]:136 Failed to copy cap
Starting test 19: BIND0004
[email protected]:136 Failed to copy cap
Starting test 20: CANCEL_BADGED_SENDS_0001
[email protected]:136 Failed to copy cap
Starting test 21: CANCEL_BADGED_SENDS_0002
[email protected]:136 Failed to copy cap
Starting test 22: CNODEOP0001
[email protected]:136 Failed to copy cap
Starting test 23: CNODEOP0002
[email protected]:136 Failed to copy cap
Starting test 24: CNODEOP0003
[email protected]:136 Failed to copy cap
Starting test 25: CNODEOP0004
[email protected]:136 Failed to copy cap
Starting test 26: CNODEOP0005
[email protected]:136 Failed to copy cap
Starting test 27: CNODEOP0006
[email protected]:136 Failed to copy cap
Starting test 28: CNODEOP0007
[email protected]:136 Failed to copy cap
Starting test 29: CNODEOP0008
[email protected]:136 Failed to copy cap
Starting test 30: CNODEOP0009
[email protected]:136 Failed to copy cap
Starting test 31: CSPACE0001
[email protected]:136 Failed to copy cap
Starting test 32: DOMAINS0001
[email protected]:136 Failed to copy cap
Starting test 33: DOMAINS0002
[email protected]:136 Failed to copy cap
Starting test 34: DOMAINS0003
[email protected]:136 Failed to copy cap
Starting test 35: FPU0000
[email protected]:136 Failed to copy cap
Starting test 36: FPU0001
[email protected]:136 Failed to copy cap
Starting test 37: FRAMEDIPC0003
[email protected]:136 Failed to copy cap
Starting test 38: FRAMEEXPORTS0001
[email protected]:136 Failed to copy cap
Starting test 39: IOPORTS1000
[email protected]:136 Failed to copy cap
Starting test 40: IPC0001
[email protected]:136 Failed to copy cap
Starting test 41: IPC0002
[email protected]:136 Failed to copy cap
Starting test 42: IPC0003
[email protected]:136 Failed to copy cap
Starting test 43: IPC0004
[email protected]:136 Failed to copy cap
Starting test 44: IPC0010
[email protected]:136 Failed to copy cap
Starting test 45: IPC1001
[email protected]:136 Failed to copy cap
Starting test 46: IPC1002
[email protected]:136 Failed to copy cap
Starting test 47: IPC1003
[email protected]:136 Failed to copy cap
Starting test 48: IPC1004
[email protected]:136 Failed to copy cap
QEMU: Terminated
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
