Constant xous::definitions::EC_WF200_PKG_LEN

pub const EC_WF200_PKG_LEN: u32 = 0x0004_E000;