build/debian: Build and use our custom Debian kernel

In this CL, we introduce a new flag `-k` to allow building our own Debian kernel (as opposed to using the default cloud kernel) in our FAI workflow.

- Add a new `avf` kernel flavour based on the existing `cloud` flavour
- Build `avf-amd64` (or `avf-arm64`) headers and image, and generate `.deb` packages
- Copy `.deb` packages to FAI's `localdebs` location and add package names to `package_config/AVF` for FAI to pick up during installation

Bug: 380176863
Change-Id: Ic3737746ff8b8949173fea79a6b6d0173fda058c
Test: ./build_in_container.sh -k
Test: ./build_in_container.sh -a aarch64 -k
4 files changed
tree: 13b35f79b01531a9992f21549358b1e413f6d861
  1. android/
  2. build/
  3. docs/
  4. guest/
  5. libs/
  6. microfuchsia/
  7. tests/
  8. .clang-format
  9. .gitignore
  10. Android.bp
  11. dice_for_avf_guest.cddl
  12. OWNERS
  13. PREUPLOAD.cfg
  14. README.md
  15. rustfmt.toml
  16. TEST_MAPPING
README.md

Android Virtualization Framework (AVF)

Android Virtualization Framework (AVF) provides secure and private execution environments for executing code. AVF is ideal for security-oriented use cases that require stronger isolation assurances over those offered by Android’s app sandbox.

Visit our public doc site to learn more about what AVF is, what it is for, and how it is structured. This repository contains source code for userspace components of AVF.

If you want a quick start, see the getting started guideline and follow the steps there.

For in-depth explanations about individual topics and components, visit the following links.

AVF components:

AVF APIs:

How-Tos: