KPI System S/W Labs

• fs/ - Linux Kernel Module with filesystem driver
• linear-allocator/ and zone-allocator/ - Memory allocator models
• virtual-memory/ - Virtual Memory model
• emails/ - State machine for validating emails