Add LoadKernelExtension support

[limakzi]

No description provided.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 70.46%. Comparing base (b6a3230) to head (d7b19c6).
Report is 2 commits behind head on master.

Additional details and impacted files

@@           Coverage Diff           @@
##           master     #614   +/-   ##
=======================================
  Coverage   70.46%   70.46%           
=======================================
  Files         437      437           
  Lines       72155    72150    -5     
=======================================
- Hits        50847    50844    -3     
+ Misses      21308    21306    -2     

Flag	Coverage Δ
4ti2Interface	50.00% <ø> (ø)
ExamplesForHomalg	96.98% <ø> (ø)
Gauss	80.50% <100.00%> (+0.04%)	⬆️
GaussForHomalg	95.47% <ø> (ø)
GradedModules	79.47% <ø> (ø)
GradedRingForHomalg	72.74% <ø> (ø)
HomalgToCAS	72.06% <ø> (ø)
IO_ForHomalg	70.78% <ø> (ø)
LocalizeRingForHomalg	61.23% <ø> (ø)
MatricesForHomalg	69.84% <ø> (ø)
Modules	77.68% <ø> (ø)
RingsForHomalg	46.88% <ø> (ø)
SCO	80.27% <ø> (ø)
ToolsForHomalg	68.75% <ø> (ø)
homalg	73.57% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[mohamed-barakat]

Thank you very much Kamil.