sel4_async_block_io_fat

Module blockdevice

Source
Expand description

Block Device support

Generic code for handling block devices, such as types for identifying a particular block on a block device by its index.

Structs§

  • Block
    Represents a standard 512 byte block (also known as a sector). IBM PC formatted 5.25“ and 3.5“ floppy disks, SD/MMC cards up to 1 GiB in size and IDE/SATA Hard Drives up to about 2 TiB all have 512 byte blocks.
  • BlockCount
    Represents the a number of blocks (or sectors). Add this to a BlockIdx to get an actual address on disk.
  • BlockIdx
    Represents the linear numeric address of a block (or sector). The first block on a disk gets BlockIdx(0) (which usually contains the Master Boot Record).
  • BlockIter
    An iterator returned from Block::range.

Traits§

  • BlockDevice
    Represents a block device - a device which can read and write blocks (or sectors). Only supports devices which are <= 2 TiB in size.