Parameter support - #7

Merged

ojeda merged 4 commits into

rustfrom

Sep 19, 2020

Commits on Sep 12, 2020

Parameter support
ojeda
committed
493d0d6

Commits on Sep 18, 2020

Alex's review
ojeda
committed
089abbc
Fix missed rename
ojeda
committed
c3f1ced
Ignore the alignment requirement on `kernel_param`
ojeda
committed
60567cf