The possible types of drive devices that can be attached to an IDE controller via ATA.

A block device

This structure represents the information that the bootloader passes to the kernel.

A FrameAllocator that returns usable frames from the bootloader's memory map.

Identifies a Fat16 filesystem on the disk.

Represents a Boot Parameter Block. This is the first sector of a FAT 16 formatted partition, and it describes various properties of the FAT 16 filesy

The Fat16 filesystem. The partition is a collection of clusters. BPB (Boot Parameter Block) is the first sector of the partition. The BPB contains in

File system trait

User process runtime heap always page aligned, the range is [base, end)

The MBR Table The disk is a collection of partitions. MBR (Master Boot Record) is the *first sector* of the disk. The MBR contains information about

File entry metadata

Mount a file system to a specific path NOTE: strip the mount point from the path before calling the underlying file system

Partition table trait

Processor holds the current process id

The `Read` trait allows for reading bytes from a source.

The `Seek` trait provides a cursor within byte stream.

A port-mapped UART 16550 serial interface.

Use `BootServices::allocate_pages()` as frame allocator

The `Write` trait allows for writing bytes to a source. NOTE: Leave here to ensure flexibility for the optional lab task.