Name		Name	Last commit message	Last commit date
benchmark		benchmark
build		build
cmdline		cmdline
compiler		compiler
dalvikvm		dalvikvm
dex2oat		dex2oat
dexdump		dexdump
dexlist		dexlist
disassembler		disassembler
imgdiag		imgdiag
libart_fake		libart_fake
oatdump		oatdump
patchoat		patchoat
profman		profman
runtime		runtime
sigchainlib		sigchainlib
test		test
tools		tools
.gitignore		.gitignore
Android.mk		Android.mk
CleanSpec.mk		CleanSpec.mk
MODULE_LICENSE_APACHE2		MODULE_LICENSE_APACHE2
NOTICE		NOTICE
README.md		README.md

Repository files navigation

Marvin ART

This repository is a fork of the Android Open Source Project's art repository (tag android-7.1.1_r57) modified to implement our prototype of the Marvin Runtime (MRT). It is compatible with ARM64 Android devices such as the Pixel XL.

Compiling Marvin

Download the AOSP source tree according to the instructions on the AOSP website. When running repo init, use the argument -b android-7.1.1_r57.
Replace the contents of the art directory with the contents of this repo.
Replace the contents of the libcore directory with the contents of the Marvin libcore repo (which should be hosted on the same site as this repo).
Compile AOSP using the instructions on the AOSP website.
Deploy your build onto an ARM64 Android device. If you can plug the device directly into the computer where you compiled AOSP, you can use fastboot flashall as recommended in the instructions on the AOSP website. Otherwise, you can copy the .img files from the out/target/product/[product-name] directory of the AOSP source tree and manually flash them onto your device using the version of fastboot that comes with the Android SDK.