10 Apr
2018
10 Apr
'18
3:46 p.m.
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
11 Apr
11 Apr
4:02 a.m.
Hi Amit,
Unfortunately I cannot reproduce this problem myself. Can you provide your version of GCC,
binutils and qemu (note that make simulate-ia32 calls qemu-system-i386). For myself I am
testing with
gcc (Ubuntu 5.4.0-6ubuntu1~16.04.9) 5.4.0 20160609
GNU ld (GNU Binutils for Ubuntu) 2.26.1
QEMU emulator version 2.5.0 (Debian 1:2.5+dfsg-5ubuntu10.24)
Adrian
On Wed 11-Apr-2018 1:46 AM, Amit Goyal wrote:
> 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.
>
>
>
> _______________________________________________
> Devel mailing list
> Devel(a)sel4.systems
> https://sel4.systems/lists/listinfo/devel
>
12 Apr
12 Apr
5:01 p.m.
Hi Adrian,
Yes, I understand that simulate-ia32 calls qemu-system-i386 ad I am
running it on Intel i7 Processor on Ubuntu 16.04 LTS. Following are the
versioning details of my system that you require:
1. gcc (Ubuntu 5.4.0-6ubuntu1~16.04.9) 5.4.0 20160609
2. GNU ld (GNU Binutils for Ubuntu) 2.26.1
3. QEMU emulator version 2.5.0 (Debian 1:2.5+dfsg-5ubuntu10.24)
So, I am running exactly on the same platform as yours.
--
Thanks and Regards,
Amit Goyal
On 2018-04-11 09:32, Adrian.Danis(a)data61.csiro.au wrote:
Hi Amit,
Unfortunately I cannot reproduce this problem myself. Can you provide
your version of GCC, binutils and qemu (note that make simulate-ia32
calls qemu-system-i386). For myself I am testing with
gcc (Ubuntu 5.4.0-6ubuntu1~16.04.9) 5.4.0 20160609
GNU ld (GNU Binutils for Ubuntu) 2.26.1
QEMU emulator version 2.5.0 (Debian 1:2.5+dfsg-5ubuntu10.24)
Adrian
On Wed 11-Apr-2018 1:46 AM, Amit Goyal wrote:
> 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.
>
>
>
> _______________________________________________
> Devel mailing list
> Devel(a)sel4.systems
> https://sel4.systems/lists/listinfo/devel
>
1499
days inactive
1501
days old
2 comments
2 participants
participants (2)
-
Adrian.Danis＠data61.csiro.au -
Amit Goyal