Skip to main content

Milestone 4

Milestone 4 Status​

This has not been started yet.

Milestone Description​

This milestone develops generic hardware isolation features. OpenSBI needs extensions to allow optional, platform specific, system level hardware isolation features to be specified, configured and used on a per OpenSBI domain specific basis.

The configuration and usage of these hardware isolation features must be done in a phased manner

  • At boot time
  • Before switching to an OpenSBI domain
  • After switching out of an OpenSBI domain

DeviceTree must be the basis for specifying the platform specific, system level hardware isolation features and their configuration for each OpenSBI domain.

Deliverables:​

  • Software changes to OpenSBI to implement boot time hooks to implement platform specific, system level hardware isolation features specified via DeviceTree.
  • Software changes to OpenSBI to implement run time hooks to implement platform specific, system level hardware isolation features at domain context switch time
  • Documentation
  • This framework will be demonstrated in M5