Manitas de cerdo en olla rápida

•  4 manitas de cerdo en cuatro trozos cada una.
•  1 cebolla.
•  1 hueso de jamón.
•  1 pimiento choricero.
•  Clavos, sal y pimienta en grano.

Para la salsa:

• 1 cebolla.
• 1 chorizo.
• 2 tomates maduros.
• 2 dientes de ajo.
• Un puñado de almendras tostadas.
• Comino, perejil, sal y aceite de oliva.