Yes. The source repos used to make those kernels is the same as the source repos referenced here:
http://gem5.org/ARM_Linux_Kernel Cheers, Anthony Gutierrez http://web.eecs.umich.edu/~atgutier On Tue, Dec 2, 2014 at 1:02 PM, Guru Prasad <gurup...@buffalo.edu> wrote: > Hi, > > Are the kernel sources also available? If so, could you please point me to > them? > > > On Thu, Oct 30, 2014 at 7:07 PM, Anthony Gutierrez via gem5-users < > gem5-us...@gem5.org> wrote: > >> Hello Everyone, >> >> There are some new ARM kernels and disk images that work with gem5 for >> both AArch32 (32-bit) and AArch64 (64-bit) on the download page on the gem5 >> website: http://www.gem5.org/Download >> >> Changes for ARM AArch64 (64-bit): >> >> * There is a new Ubuntu 14.04 based disk image. If you'd like to install >> packages you should be able to chroot (make sure the proper QEMU packages >> are installed if on an x86 host) to this mounted disk image and apt-get. >> >> * A recent 3.16 kernel is included with support for PCI devices. Two >> 64-bit ARM systems can now be simulated communicating over Ethernet. To >> make sure of the new kernel you'll need a up-to-date copy of gem5 which has >> a number of configuration changes to support it. >> >> >> Changes for ARM AArch32 (32-bit): >> >> * A new 3.13 kernel is provided >> >> In addition to the changes the previously available disk images are in >> the xz compressed tarball on the download page. >> >> Work on a more up-to-date Android filesystem and kernel is still underway. >> >> Thanks, >> Anthony Gutierrez >> http://web.eecs.umich.edu/~atgutier >> >> _______________________________________________ >> gem5-users mailing list >> gem5-us...@gem5.org >> http://m5sim.org/cgi-bin/mailman/listinfo/gem5-users >> > > _______________________________________________ gem5-dev mailing list gem5-dev@gem5.org http://m5sim.org/mailman/listinfo/gem5-dev