Android 分区

article/2025/10/21 13:10:01

/system_ext 分区作为可选分区。(该分区是放置 /system 分区中与 AOSP 定义的组件紧密耦合的非 AOSP 组件的位置。)/system_ext 分区被视为是 /system 分区特用于 OEM 的扩展,且未在两个分区间定义接口

  • vendor:包含所有不可分发给 Android 开源项目 (AOSP) 的二进制文件。如果没有专有信息,可以不要该分区。
  • product:用于存放产品专用的配置和应用,以便OEM定制自己的系统。Android 9 及更高版本支持该分区。product分区是对system分区的扩展,必须同时升级这两个分区。
  • odm:用于ODM自定义自己的板级支持包。Android 10 开始支持该分区。odm分区是对vendor分区的扩展,必须同时升级这两个分区。

Android 中存储可以分为两大类:私有存储和共享存储

  • 私有存储 (Private Storage) : 每个应用在都拥有自己的私有目录,其它应用看不到,彼此也无法访问到该目录:内部存储私有目录 (/data/data/packageName) ;外部存储私有目录 (/sdcard/Android/data/packageName),
  • 共享存储 (Shared Storage) : 存储其他应用可访问文件, 包含媒体文件、文档文件以及其他文件,对应设备DCIM、Pictures、Alarms、Music、Notifications、Podcasts、Ringtones、Movies、Download等目录。

在Android Q上,是不希望应用继续访问非沙盒路径的,沙盒路径一般为外置存储下的/storage/emulated/${userid}/Android/${dir}/${package}/, 这里通过包名来划分路径,应用可以不需要权限直接访问沙盒路径下的数据。非沙盒路径为外置存储下的其他路径,不允许访问。

新增权限

MANAGE_EXTERNAL_STORAGE : 类似以前的 READ_EXTERNAL_STORAGE + WRITE_EXTERNAL_STORAGE ,除了应用专有目录都可以访问。

应用可通过执行以下操作向用户请求名为所有文件访问权限的特殊应用访问权限:

  1. 在清单中声明 MANAGE_EXTERNAL_STORAGE 权限。
  2. 使用 ACTION_MANAGE_ALL_FILES_ACCESS_PERMISSION intent 操作将用户引导至一个系统设置页面,在该页面上,用户可以为您的应用启用以下选项:授予所有文件的管理权限。
  • 在 Google Play 上架的话,需要提交使用此权限的说明,只有指定的几种类型的 APP 才能使用。

Privileged apps are system apps that are located in a priv-app directory on one of the system image partitions. The partitions used for Android releases are

  • Android 8.1 and lower - /system
  • Android 9 and higher - /system, /product, /vendor

从 Android 8.0 开始,制造商必须在 /etc/permissions 目录下的系统配置 XML 文件中明确授予特许权限。从 Android 9 开始,实现人员必须明确授予或拒绝授予所有特许权限,否则设备将无法启动.


http://chatgpt.dhexx.cn/article/aTQHaNre.shtml

相关文章

联想官方OEM分区制作

今天,朋友买了一个新的联想电脑,自带出厂系统。进入PE后发现居然有联想官方的OEM分区,于是直接拷贝过来,然后装在另一个电脑里可以正常使用,这里给大家分享一下。 工程下载: 链接:https://pan.baidu.com/s/1p2nM3n1ZuzZeBPGN2DcCaQ   提取码:pbtw 1.下载共享…

分区属性揭秘 Win8 电脑 OEM 分区创建 分区属性

在写这篇文章之前,xxx已经写过了几篇关于改分区属性主题的文章,想要解了的朋友可以去翻一下之前的文章 在现预装 Win8 的电脑大多是采取新版 UEFI 固件 + GPT 式格磁盘,不再像前以的 BIOS + MBR。采取 UEFI 和 GPT 的好处多多,例如可现实安全启动等更多新特性,和支撑更多的…

【Win8操作系统中OEM分区创建技巧】

现在预装Win8的电脑大多是采用新版UEFI 固件 GPT格式磁盘,不再像以前的BIOS MBR。采用免费windows xp电脑系统和xp系统下载基地UEFI 和GPT的好处多多,例如可实现安全启动等更多新特性,和支持更多的硬盘分区、更大的分区容量。 像戴尔等品牌…

揭秘 Win8 电脑 OEM 分区创建

现在预装 Win8 的电脑大多是采用新版 UEFI 固件 GPT 格式磁盘,不再像以前的 BIOS MBR。采用 UEFI 和 GPT 的好处多多,例如可实现安全启动等更多新特性,和支持更多的硬盘分区、更大的分区容量。 像戴尔等品牌笔记本会有一些系统启动前就可以…

diskpart 删除磁盘OEM分区 及设置活动分区

利用windows自带工具-diskpart实现,具体操作如下: 打开cmd,输入【dispart】启动dispart工具 在dispart中输入【rescan】回车(扫描当前磁盘) 输入【list disk】(磁盘列表) 选择磁盘:【…

联想服务器怎么加硬盘分区,联想EDU硬盘保护OEM分区的创建以及安装方法

联想EDU硬盘保护不是每台联想计算机出厂都有的,要判断一台计算机有没有安装EDU,我们可以通过开机一直按F4看会不会呼出硬盘保护,或者进入到系统磁盘管理里面有没有一个隐藏分区,卷标叫lenovo_part,大小应该是5G以内&am…

戴尔服务器oem分区如何显示,电脑创建OEM分区的详细介绍

1、像戴尔等品牌笔记本电脑会有一些系统启动前就可以运行的诊断工具,其实这些工具往往是存放在硬盘的一个隐藏的OEM分区里的。如果自行重装系统时不小心将其删除,那么即便从别处拷贝到了其中的程序文件,又该怎么恢复分区的 OEM 隐藏属性呢&am…

隐藏OEM分区的解决办法和推荐的清理磁盘的方法

前言:在以前我想瘦身c盘,并扩展c盘的时候,发现自己的oem分区 ,也就是恢复分区,当时想删除合并到C盘上,胆子小,没敢试,当时还把oem分区显现出来了,所以这里需要来进行隐藏…

【中科大软院-形式化课程】PartA:More Coq Tactics

Negation: tactic unfold Coq用符号~表示命题的否定。~ P是P -> False的一个语法,我们可以用像下面这样的否定来建立定理: Theorem example_1: forall P: Prop,~(P /\ ~P).Proof.unfold not.intros.inversion H.apply H1.apply H0.Qed. Exercise1:~…

【coq】函数语言设计 笔记 07 - indProp

参考博客:https://www.cnblogs.com/TheFutureIsNow/p/11993851.html Inductively Defined Propositions ( IndProp ) Inductively Defined Propositions Inductive Definition of Evenness Using Evidence in Proofs Inversion on Evidence Induction …

离散数学——coq学习笔记(二)

Proof Proof By SimplificationProof By RewritingProof by Case Analysisdestruct例1例2多重析构 参考书目练习答案basic部分 这部分内容写了快两个星期了,期末考试越来越近,紧张紧张 Proof By Simplification 之前的代码中出现过 Proof. simpl. refle…

【Coq学习】Formal Reasoning About Programs 阅读笔记第一章第二章

《Formal Reasoning About Programs》是MIT的一个计算机科学的教授Adam Chlipala写的,是一本非常经典的关于程序形式化推理的书,阅读本书需要一定的数学和计算机科学基础。此外,这本书是使用 Coq 作为主要的形式化推理工具,因此在…

coq程序编写好用的IDE推荐

编写coq程序需要一个后台coq库(负责证明过程推导等所有功能,提供coq的所有服务),一个界面编辑器组成。 可以编写coq的开发环境大概有3个: 1、coqIDE 这个是coq官方的,下载地址 Install Coq | The Coq Pr…

coq 的一点体会

用coq做了一个作业&#xff0c;所以现在会一点点证明了。不过这只是coq中的很小很小的一部分&#xff0c;现在把我的理解写出来。 首先隆重介绍命题逻辑的5种基本连接词&#xff1a; ~ 非 /\ 合取 \/ 析取 -> 蕴含 <-> 等价 每种连接都有两种基本规则&#xff1a; int…

形式化方法 | Proof Engineering in Coq——Coq tatics 在命题逻辑证明中的应用

一、Coq的安装与使用 1、Coq简介 Coq是一款交互式证明辅助工具&#xff0c;提供一套证明系统&#xff0c;可以编写证明、检查证明&#xff1b;也提供一套形式化语言&#xff0c;可编写数学算法、定义、定理&#xff1b;它还可以用于程序的正确性证明。 2、Coq的安装 Coq-8.1…

coq学习笔记

coq在设置里把这些都勾选上&#xff0c;写代码会好用很多 Check关键字输出待测类型的&#xff0c;可以输出一个十进制数&#xff0c;但是还是类型的显示罢了 Compute计算定义的函数的输出值 simpl关键字是为了化简的可视化罢了&#xff0c;即显示化简的中间过程&#xff0c;不…

coq使用笔记

Coq 使用笔记 Coq中可分三部分&#xff1a; 1、vernacular&#xff1a;用来处理定义&#xff0c;使用大写字母开头&#xff0c;例如Theorem、Proof、Qed 2、tactics&#xff1a;用作证明过程&#xff0c;以小写字母开头&#xff0c;例如intros、exact 3、Gallina&#xff1a;用…

【coq】函数语言设计 笔记 06 -logic

参考博客&#xff1a;https://www.cnblogs.com/TheFutureIsNow/p/11993851.html Coq中的命题类型语句 Coq是一种类型化语言&#xff0c;这意味着它的世界中的每个合理表达式都有一个相关的类型。逻辑声明也不例外&#xff0c;任何一个可以证明的语句都有一个类型&#xff0c…

离散数学——coq学习笔记(一)

Coq学习笔记&#xff08;一&#xff09; BASICS函数编程枚举类型引例&#xff1a;Days of the week&#xff08;定义一个类型&#xff09; 一些基础语法定义TypeCheck命令多元组ModulesCompute命令定义一个新常量 BOOLEANS布尔表达式的构造相关定义布尔表达式的相关运算律用Exa…

求网络号、子网号、主机号、子网网络地址、子网广播地址

例题&#xff1a;某计算机的IP地址为10.38.51.21&#xff0c;子网掩码为255.255.0.0&#xff0c;写出该计算机的网络号、子网号、主机号以及子网网络地址、子网广播地址。 网络号&#xff1a;10子网号&#xff1a;38主机号&#xff1a;51.21子网网络地址&#xff1a;10.38.0.0子…