Skip to content

supermicro: add sata device config#32

Open
abrandnewusername wants to merge 1 commit intomasterfrom
jade/supermicro
Open

supermicro: add sata device config#32
abrandnewusername wants to merge 1 commit intomasterfrom
jade/supermicro

Conversation

@abrandnewusername
Copy link
Contributor

Add a sata config file for a new platform.

Signed-off-by: Jingyao Zhou jingyao.zhou@unsw.edu.au

@wom-bat wom-bat self-requested a review July 20, 2022 03:57
@@ -0,0 +1,23 @@
/*
* Copyright 2019, Dornerworks
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Add UNSW 2022 copyright.

component HWSata HWsata; \
connection seL4HardwareMMIO satadrivermmio(from ahcidriver, to HWsata.mmio);

#define HARDWARE_SATA_CONFIG \
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Can this be done in supermicro.camkes?

Add a sata config file for a new platform.

Signed-off-by: Jingyao Zhou <jingyao.zhou@unsw.edu.au>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants