A kernel for LockBox in Hardware on OpenSparc