O Google tem o compromisso de promover a igualdade racial para as comunidades negras. Saiba como.

Notas de versão do Android 13

Esta página resume os principais recursos da versão Android 13 e fornece links para informações adicionais. Esses resumos de recursos são organizados de acordo com a localização da documentação do recurso neste site.

Arquitetura

Alterações na partição de inicialização genérica

Para dispositivos iniciados com o Android 13, o ramdisk genérico é removido da imagem de boot e colocado em uma imagem init_boot separada.

Para obter mais informações, consulte Partição de inicialização genérica .

Módulos GKI

No Android 13, algumas funcionalidades do kernel são fornecidas em módulos carregáveis ​​dinamicamente, chamados de módulos GKI , para reduzir o consumo de memória do kernel GKI em dispositivos que não exigem a funcionalidade.

Para obter mais informações, consulte os módulos do Kernel .

Componentes do sistema modular

O Android 13 contém vários componentes do sistema modular novos e atualizados. Os novos módulos são:

  • AdServices : Apoia a iniciativa Privacy Sandbox que visa criar tecnologias que protejam a privacidade das pessoas online e forneçam às empresas e desenvolvedores ferramentas para construir negócios digitais prósperos
  • AppSearch : uma indexação no dispositivo e mecanismo de pesquisa estruturado
  • Bluetooth : (Opcional) Visa fornecer uma experiência Bluetooth consistente e de alta qualidade para todos os usuários do Android
  • OnDevicePersonalization : Fornece um conjunto de ferramentas desenvolvidas com a privacidade do usuário como seu princípio principal
  • UWB : contém uma pilha UWB acima da interface HAL

Atualizações dos módulos existentes:

  • CrossDevice : Fornece tecnologias de comunicação entre dispositivos usando protocolos padrão
  • Unificação de permissões : informações sobre unificação de permissões
  • Tunelamento dividido : especifica rotas a serem excluídas da VPN
  • Atualizações do limite do módulo Wi-Fi : Limite do módulo atualizado

Atualização para suporte ao sistema de arquivos do kernel do Android

A partir do Android 13, o espaço do usuário funciona apenas com sistemas de arquivos integrados à imagem genérica do kernel (GKI).

Para obter mais detalhes, consulte Suporte ao sistema de arquivos do kernel do Android .

Áudio

Suporte para MIDI 2.0

A partir do Android 13, o suporte a MIDI 2.0 é adicionado ao transporte USB. MIDI 2.0 é um padrão MIDI mais recente definido em 2020.

Veja a página MIDI para mais detalhes.

Atualização para áudio HAL

A partir do Android 13, o Audio HAL é atualizado para a versão 7.1. Consulte Áudio HAL para obter mais informações.

Automotivo

Novos recursos do Android Automotive

Para saber mais sobre os novos recursos automotivos do Android 13, consulte Novidades .

Construir

Construir com Bazel

O Android 13 apresenta kernels de construção com Bazel , substituindo build/build.sh .

Para obter mais informações, consulte Bazel (Kleaf) .

Câmera

Câmera AIDL HAL

No Android 13, a estrutura da câmera inclui suporte para HALs de câmera AIDL. A estrutura da câmera também suporta HALs de câmera HIDL, no entanto, os recursos de câmera adicionados no Android 13 ou superior estão disponíveis apenas por meio das interfaces HAL de câmera AIDL.

Para obter informações sobre como migrar processos HAL de interfaces de câmera HIDL para interfaces de câmera AIDL, consulte HAL de câmera AIDL .

Atualizações de depuração da câmera

O Android 13 adiciona a ferramenta de depuração do watch no serviço da câmera, que permite visualizar as alterações na solicitação de captura e os valores de resultado que são enviados para e da câmera HAL. A ferramenta permite a visualização ao vivo de despejos de monitoramento de tags de clientes abertos e visualização de despejos em cache de clientes fechados.

Para obter mais informações, consulte Depuração da câmera .

Estabilização de visualização da câmera

O Android 13 adiciona suporte para estabilização de vídeo no fluxo de visualização em sessões de captura de câmera. Esse recurso permite que aplicativos de terceiros forneçam uma experiência do que você vê é o que você obtém (WYSIWYG) ao comparar entre a visualização da câmera e a gravação.

Para obter mais informações, consulte Estabilização de visualização da câmera .

Controle de força da tocha

O Android 13 apresenta um recurso para controle multinível para força da tocha. No Android 12 e inferior, a estrutura permite apenas ativar ou desativar o modo tocha. Esse recurso permite casos de uso como controlar o brilho da lanterna com base nas condições de iluminação e enviar sinais de assistência usando um efeito estroboscópico enviando pulsos de luz rápidos em uma linha.

Para obter mais informações, consulte Controle de resistência da tocha .

Saída de câmera de 10 bits

O Android 13 adiciona suporte para saída de câmera de 10 bits por meio de perfis de faixa dinâmica que podem ser configurados pelo cliente da câmera como parte da configuração de fluxo. Isso permite que os fabricantes de dispositivos adicionem suporte para perfis de faixa dinâmica de 10 bits, como HLG10, HDR 10, HDR 10+ e Dolby Vision.

Para obter mais informações, consulte Saída de câmera de 10 bits .

Para incentivar a adoção de saída de câmera de 10 bits em aplicativos de terceiros, como aplicativos de mídia social, para melhorar as experiências de captura e compartilhamento de vídeo, é importante validar efetivamente a implementação desse recurso. Aplicativos de terceiros que desejam adotar esse recurso provavelmente começarão com o perfil obrigatório HLG10 . Para obter mais detalhes, consulte Validação .

Compatibilidade

Atualizações do ITS da câmera

O Android 13 introduz alterações no Camera ITS , que incluem suporte para testes de vídeo, versões atualizadas do Python e do pacote e atualizações de hardware de teste.

Para obter mais detalhes, consulte as Notas de versão do Android 13 Camera Image Test Suite .

Atualizações de CDD

O Documento de Definição de Compatibilidade do Android 13 repete as versões anteriores com atualizações para novos recursos e alterações nos requisitos para funcionalidades lançadas anteriormente.

Para obter uma lista de alterações no Android 13, consulte Notas de versão da definição de compatibilidade do Android 13 .

Contas padrão para novos contatos

Os aplicativos de contato pré-carregados devem lidar com a intenção ContactsContract.Settings.ACTION_SET_DEFAULT_ACCOUNT , que permite que um usuário selecione uma conta padrão. O aplicativo de contato pré-carregado deve salvar a conta padrão selecionada e deve usar a conta padrão ao manipular Intent.ACTION_INSERT ou Intent.ACTION_INSERT_OR_EDIT para inserir um contato. Esse requisito garante consistência em todos os aplicativos que interagem com os contatos.

Para mais informações, consulte a seção de contatos do CDD do Android 13.

Conectividade

Permitir alternância 2G

No Android 13, a opção Permitir 2G em Configurações fica esmaecida (o que significa que os usuários não podem interagir com o botão) quando a chave de configuração da operadora KEY_HIDE_ENABLE_2G é definida como true . Além disso, quando acinzentado, a alternância Permitir 2G inclui um texto informando que a operadora do usuário exige que o 2G esteja disponível. Nas versões anteriores, a alternância Permitir 2G fica oculta quando KEY_HIDE_ENABLE_2G é definido como true .

Configuração de uso do celular

O Android 13 é compatível com uma configuração de uso de celular que permite que as operadoras configurem os dispositivos para o modo centrado em voz ou centrado em dados. As operadoras podem usar essa configuração em conjunto com outras alterações de configuração para reduzir o tráfego IMS em suas redes para dispositivos tradicionalmente centrados em voz que operam no modo somente dados, por exemplo, para serviços que incluem serviço somente dados complementares.

Para modificar a configuração de uso do celular, use a sobreposição config_supported_cellular_usage_settings ou defina o valor padrão em config_default_cellular_usage_setting . A configuração pode ser USAGE_SETTING_VOICE_CENTRIC ou USAGE_SETTING_DATA_CENTRIC .

O recurso de configuração de uso do celular inclui as seguintes APIs:

Para validar o recurso de configuração de uso do celular, execute os seguintes testes:

Várias redes simultâneas com conexão à Internet

O Android 13 apresenta o recurso de várias redes simultâneas com conexão à Internet , que permite que um dispositivo se conecte simultaneamente a duas redes Wi-Fi (APs), ambas irrestritas (disponíveis para todos os aplicativos) e fornecem acesso à Internet.

Para obter mais informações, consulte Simultaneidade Wi-Fi STA/STA .

Atualizações da API do IMS

O Android 13 apresenta as seguintes atualizações nas APIs de registro único do IMS:

  • DelegateRegistrationState :

    • Suporta casos em que a estrutura precisa aguardar a conclusão das sessões SIP antes de desmontar o IMS PDN.
    • Adiciona o método getRegisteringFeatureTags que permite que os aplicativos de escuta saibam quando a pilha do IMS está tentando ativamente registrar o IMS.
  • RcsUceAdapter : Adiciona PUBLISH_STATE_PUBLISHING para permitir que aplicativos de escuta saibam quando a pilha IMS está tentando ativamente publicar recursos

  • CapabilityExchangeEventListener : Adiciona o método onPublishUpdated para permitir que o Serviço IMS notifique de forma assíncrona a plataforma que uma atualização SIP PUBLISH foi bem-sucedida ou falhou.

  • RcsClientConfiguration :

    • Para dar suporte à seção 2.1.14 do RCC.72, adiciona um novo valor ao construtor para permitir que o aplicativo de mensagens especifique se o usuário ativou ou desativou o RCS.
    • Adiciona a constante RCS_PROFILE_2_4 para permitir que um aplicativo de mensagens relate que é compatível com o RCS Universal Profile versão 2.4.

O Android 13 também inclui as seguintes atualizações para APIs IMS:

  • Adiciona a capacidade de os aplicativos escutarem o estado da pilha IMS por meio da classe ImsStateCallback . Para obter mais informações, consulte Usar ImsStateCallback .
  • Refatora o provisionamento de IMS para o Serviço IMS para dar suporte a casos de uso de provisionamento de MVNO.
  • Melhora o modelo de encadeamento no Serviço IMS.
  • Adiciona APIs com reconhecimento de assinatura do SIM no serviço IMS

Vários perfis habilitados para eUICC

O Android 13 apresenta suporte para vários perfis habilitados (MEPs) para eUICC, que permite que os dispositivos tenham suporte a SIM duplo usando um único chip eSIM. Vários perfis de SIM permitem que o dispositivo se conecte a duas operadoras diferentes ao mesmo tempo.

Para obter mais informações, consulte Vários perfis habilitados .

Requisitos de calibração de presença

O Android 13 apresenta novos requisitos de calibração de presença para garantir que todos os dispositivos no ecossistema Android possam determinar a proximidade relativa entre os dispositivos.

Para obter mais informações sobre como configurar e calibrar dispositivos para atender a esses requisitos, consulte Requisitos de calibração de presença .

Modo de fallback de telefonia para detecção de fuso horário

O Android 13 apresenta o modo de fallback de telefonia para detecção de fuso horário. Esse modo permite que o Android use sugestões de detecção de telefonia temporariamente em situações em que a detecção de localização não consegue detectar o fuso horário ou em que a detecção de localização leva mais tempo do que a detecção de telefonia para detectar o fuso horário.

Para obter mais detalhes, consulte O serviço time_zone_detector .

Melhorias na API de acesso TelephonyManager UICC

O Android 13 cancela o uso e adiciona melhorias para o gerenciamento de canal lógico UICC para as seguintes APIs de acesso UICC do TelephonyManager:

Essas APIs foram preteridas no Android 11 porque o OMAPI fornece uma implementação mais confiável para gerenciar canais lógicos UICC. No entanto, o OMAPI não abrange todos os casos de uso fornecidos pelas APIs de acesso TelephonyManager UICC. Portanto, no Android 13, essas APIs estão obsoletas com melhorias para o gerenciamento de canais lógicos UICC. Anteriormente, quando um aplicativo de chamada que abre um canal lógico falha, o canal lógico pode vazar, o que significa que o canal não é liberado e não pode ser reutilizado pelo aplicativo sem reinicialização. Com as melhorias no Android 13, se um app travar, o sistema libera o canal lógico, que permite que o canal seja reutilizado pelo app.

Essas melhorias de API são feitas no nível de implementação e são totalmente compatíveis com versões anteriores. Nenhum esforço adicional é necessário para chamar aplicativos para usar essas APIs.

Confiança no primeiro uso (TOFU) para redes corporativas

O Android 13 apresenta suporte para a abordagem de autenticação Trust on First Use (TOFU), que permite que os usuários confiem em uma rede corporativa (EAP) instalando a CA raiz usada pelo servidor e configurando seu nome de domínio em uma rede salva. O TOFU permite que o dispositivo obtenha uma chave pública não autenticada quando um usuário se conecta pela primeira vez a uma rede corporativa e retenha a chave para conexões subsequentes.

Para obter mais informações, consulte Confiar no primeiro uso .

Suporte de banda ultralarga

O Android 13 apresenta uma implementação de estrutura padrão para a tecnologia de rádio de banda ultralarga (UWB), uma tecnologia que permite um alcance altamente seguro e preciso entre os dispositivos compatíveis.

Para obter mais informações, consulte Banda ultralarga .

Atualizações de simultaneidade de AP/AP Wi-Fi

O Android 13 adiciona suporte para a banda de 6 GHz para simultaneidade de AP/AP Wi-Fi, que permite que os dispositivos criem duas interfaces de ponto de acesso (AP).

Para obter mais informações, consulte Simultaneidade de AP/AP Wi-Fi .

Reconhecimento de Wi-Fi

O Android 13 apresenta suporte para a versão 3.1 da especificação Wi-Fi Aware . Para obter mais informações, consulte Wi-Fi Aware .

Atualizações de tethering de hotspot Wi-Fi (soft AP)

O Android 13 apresenta novas configurações para dispositivos compatíveis com tethering por meio de pontos de acesso Wi-Fi. Para obter detalhes sobre as novas configurações, consulte Wi-Fi Hotspot (Soft AP) .

Simultaneidade de várias interfaces Wi-Fi

A partir do Android 13, o Wi-Fi HAL 1.6 adiciona a capacidade de especificar uma interface AP em ponte (dual band simultânea) como um item de combinação explícita.

Para obter mais detalhes, consulte Simultaneidade de várias interfaces Wi-Fi .

Atualizações de seleção de rede Wi-Fi

A partir do Android 13, se forem necessários intervalos de varredura diferentes em tempo de execução, os aplicativos privilegiados podem definir dinamicamente o agendamento de varredura na tela para redes Wi-Fi disponíveis chamando o WifiManager#setScreenOnScanSchedule(screenOnScanSchedule) .

Para obter mais informações, consulte Seleção de rede Wi-Fi .

Exibição

Gerenciador de tarefas de serviço em primeiro plano

No Android 13, um novo recurso de interface do usuário do sistema chamado FGS Task Manager notifica o usuário sobre o estado e os recursos usados ​​pelos serviços em primeiro plano em aplicativos em segundo plano e permite que o usuário interrompa esses aplicativos.

Para obter mais informações, consulte Foreground Service (FGS) .

Controles de mídia na IU do sistema

A partir do Android 13, os controles de mídia na interface do sistema contêm atualizações para botões de ação e reprodução remota. Essas mudanças dão suporte a uma experiência de controle de mídia mais sofisticada em telefones e tablets e oferecem transferências de mídia perfeitas entre dispositivos.

Para obter mais detalhes, consulte Controles de mídia na interface do usuário do sistema .

Composição mista de SDR e HDR

O Android 13 melhora o suporte para apresentação simultânea de composição SDR e HDR na tela, escurecendo o conteúdo SDR na tela quando apresentado simultaneamente com conteúdo HDR.

Para obter mais informações, consulte Composição mista de SDR e HDR .

Permissão de notificação para notificações opt-in

A partir do Android 13, as notificações usam um modelo opt-in, em que todos os aplicativos devem pedir permissão aos usuários antes de enviar avisos de notificação. Para dar suporte a isso, os OEMs devem implementar alterações nos sistemas de notificação e permissão de tempo de execução, conforme descrito na página Permissão de notificação para notificações opt-in .

Tone Mapping HDR luminância para uma faixa compatível com SDR

O Android 13 apresenta uma biblioteca estática configurável pelo fornecedor chamada libtonemap , que define as operações de mapeamento de tons. Esse recurso permite que os OEMs definam e compartilhem seus algoritmos de mapeamento de tom de exibição entre a estrutura e os fornecedores, diminuindo a incompatibilidade no mapeamento de tom.

Para obter mais informações, consulte Mapeamento de tom de luminância HDR para um intervalo compatível com SDR .

Gráficos

AIDL para Compositor de Hardware HAL

A partir do Android 13, o HAL do Hardware Composer (HWC) é definido em AIDL e as versões HIDL que variam de android.hardware.graphics.composer@2.1 a android.hardware.graphics.composer@2.4 estão obsoletas.

Para obter mais informações, consulte AIDL para Hardware Composer HAL .

Gerenciamento de framebuffer do cliente

A partir do Android 13, novos framebuffers, usados ​​durante a composição do cliente , são alocados sempre que a resolução da tela muda. Essa alocação é realizada pelo SurfaceFlinger no próximo ciclo de invalidação após uma alteração de resolução.

Para obter mais informações, consulte Gerenciamento de framebuffer do cliente .

Travamento de buffer não sinalizado com AutoSingleLayer

O Android 13 adiciona uma nova configuração chamada AutoSingleLayer para travar buffers não sinalizados. Essa configuração permite que o SurfaceFlinger trave um buffer não sinalizado quando apenas uma única camada está sendo atualizada, e não para os casos que ocorrem entre camadas, como alterações de geometria ou transações de sincronização.

Para obter mais informações, consulte Travamento de buffer não sinalizado com AutoSingleLayer .

Interação

Autenticação para controles domésticos

No Android 13, a API de controles do dispositivo inclui um novo método chamado isAuthRequired , que permite que os provedores de controles do dispositivo especifiquem quais controles domésticos podem realizar interações em um dispositivo bloqueado. Isso permite uma interação mais perfeita em pontos de entrada, como uma tela de telefone bloqueada.

Protocolo HID do rastreador de cabeça

O Android 13 apresenta o protocolo HID (Hand Tracker Human Interface Device), que permite que um dispositivo de rastreamento de cabeça seja conectado a um dispositivo Android por meio de USB ou Bluetooth e seja exposto à estrutura e aplicativos do Android por meio da estrutura de sensores.

Para obter mais informações, consulte Protocolo HID do rastreador de cabeça .

Suporte a sinal de retorno de chamada bloqueado no KeyguardManager

No Android 13, novos métodos, como addKeyguardLockedStateListener e removeKeyguardLockedStateListener , na classe KeyguardManager , notificam o ouvinte sobre o estado bloqueado do keyguard.

Objetos de execução reutilizáveis ​​NNAPI

O Android 13 apresenta a interface NNAPI AIDL HAL, IExecution , que gerencia o tempo de vida de um objeto de execução reutilizável e seus recursos em cache. Os objetos IExecution reduzem a sobrecarga das tarefas de inferência de aprendizado de máquina, permitindo que o driver NNAPI preserve recursos entre execuções e aplique otimizações específicas de solicitação.

Sensores AIDL HAL

O Android 13 apresenta os Sensores AIDL HAL , um HAL baseado nos Sensores HAL 2.1 que usa a interface AIDL HAL . O Sensors AIDL HAL expõe os tipos de sensor IMU de rastreador de cabeça e eixo limitado.

meios de comunicação

Exportando estatísticas de codificação de vídeo

A partir do Android 13, os clientes do aplicativo podem solicitar que o codificador de vídeo exporte estatísticas de codificação para cada quadro de vídeo codificado. Com as estatísticas obtidas do codificador de vídeo, os aplicativos podem otimizar suas tarefas de codificação de vídeo, como codificação multipass e pré-processamento de quadros antes da codificação.

Para obter mais informações, consulte Dados de estatísticas de codificação de vídeo .

atuação

Saúde AIDL HAL

O Android 13 apresenta o Health AIDL HAL , um HAL baseado no Health HAL 2.1 que usa a interface AIDL HAL .

Aumento de desempenho no tempo de carregamento do jogo

O Android 13 apresenta um novo modo de energia no Power Manager Service chamado GAME_LOADING que indica ao Power HAL se o aplicativo do jogo está no estado de carregamento para que o Power HAL possa fornecer um aumento de carregamento. Consulte Aumento de desempenho no tempo de carregamento do jogo para obter mais informações.

Permissões

Permissão do sensor corporal dividida

A partir do Android 13, a permissão BODY_SENSORS é dividida em duas permissões: BODY_SENSORS para rastrear a frequência cardíaca em primeiro plano e BODY_SENSORS_BACKGROUND para rastrear a frequência cardíaca em segundo plano.

Para obter mais informações, consulte O uso de sensores corporais em segundo plano requer nova permissão

Poder

Rastreadores de comportamento em segundo plano do aplicativo

O Android 13 apresenta o conceito de um rastreador de comportamento em segundo plano do aplicativo ou um processo que monitora o uso da bateria em segundo plano pelos aplicativos para determinar se os aplicativos violam alguma política.

Para obter mais informações, consulte Rastreadores de comportamento em segundo plano do aplicativo .

Reduza o uso de energia durante o backup e a restauração

A partir do Android 13, você pode limitar a transferência de energia durante o backup e a restauração USB chamando o método UsbPort da classe enableLimitPowerTransfer .

Para obter mais informações, consulte Gerenciamento de energia .

Segurança

Esquema de Assinatura APK V3.1

Esse esquema é usado por padrão ao assinar um APK com uma chave de assinatura rotacionada e linhagem de assinatura, e permite que um único APK direcione a rotação no Android 13 e posterior, evitando os problemas conhecidos com rotação nas versões anteriores da plataforma usando a chave de assinatura original em o bloco de assinatura v3.0. Da mesma forma, a assinatura v4.1 incluirá informações de assinatura adicionais para o bloco v3.1 para oferecer suporte ao mesmo comportamento para instalações incrementais.

Os intents devem corresponder aos filtros de intent declarados

No Android 13, os intents originados de aplicativos externos são entregues a um componente exportado se e somente se os intents corresponderem aos elementos de filtro de intent declarados.

As intents não correspondentes são bloqueadas. Veja a seguir as exceções em que a correspondência de intent não é aplicada:

  • Intents entregues a componentes que não declaram filtros de intent
  • Intenções originadas no mesmo aplicativo
  • Intenções do sistema
  • Intenções da raiz

Interface estável do fornecedor OMAPI

Open Mobile API (OMAPI) é uma API padrão usada para se comunicar com o Secure Element de um dispositivo. Antes do Android 13, apenas aplicativos e módulos de framework tinham acesso a essa interface. Ao convertê-lo em uma interface estável do fornecedor, os módulos HAL também são capazes de se comunicar com os elementos seguros por meio do serviço OMAPI.

Para obter mais informações, consulte Interface estável do fornecedor OMAPI .

Definições

Configurações de idioma por aplicativo

O Android 13 adiciona recursos para permitir que os usuários alterem as preferências de idioma aplicativo por aplicativo. Parceiros e OEMS não devem desabilitar a página de seleção de idioma do aplicativo e a página deve ser acessível por meio destas três opções de navegação:

  • Configurações > Aplicativos > app_name e selecione Idioma .
  • Pressione e segure o ícone do aplicativo, toque em Informações do aplicativo e selecione Idioma .
  • Configurações > Sistema > Idiomas e entrada > Idiomas do aplicativo > app_name .

O aplicativo Configurações deve continuar a iniciar a página de configurações de localidade do aplicativo a partir da intenção android.settings.App_Locale_Settings .

Para obter mais informações, consulte Configurações de idioma por aplicativo .

televisão

Modo de túnel multimídia

O Android 13 expande o comportamento definido da reprodução de vídeo em túnel e vincula esse novo comportamento a testes adicionais de certificação CTS .

Para obter mais informações, consulte Túnel multimídia .

Atualizações

Atualizações A/B virtuais

O Android 13 adiciona os recursos de compactação XOR e mesclagem de espaço do usuário para atualizações A/B virtuais. A compactação XOR permite tamanhos de instantâneos reduzidos porque os dados XOR são mais fáceis de compactar do que os dados brutos do bloco. O recurso de mesclagem de espaço de usuário permite que o componente de espaço de usuário snapuserd lide com o processo de mesclagem para atualizações A/B virtuais, o que reduz os tempos de mesclagem em comparação com o Android 12, em que um dispositivo dm-snapshot é usado.

Para obter detalhes sobre como habilitar esses recursos em dispositivos que atualizam para Android Android 13, consulte Compressão XOR e mesclagem de espaço de usuário.

Virtualização

Estrutura de virtualização do Android

O Android Virtualization Framework (AVF) fornece ambientes de execução seguros e privados para execução de código. O AVF é ideal para casos de uso orientados à segurança que exigem garantias de isolamento mais fortes, até mesmo formalmente verificadas, em relação às oferecidas pela sandbox de aplicativos do Android.

Para obter mais informações, consulte Visão geral do Android Virtualization Framework .