Publication
Open-source SPMP-based CVA6 Virtualization
| Summary: | This work presents the first open-source design and implementation of the RISC-V SPMP for hypervisor. We integrated the dual-stage SPMP implementation into an MMU-less 64-bit CVA6 core with the Hypervisor extension enabled. The modified core was functionally validated using a software stack built around the Bao hypervisor. Preliminary results regarding FPGA resource utilization are also provided. Future work includes benchmarking the SPMP-based platform and comparing its performance with conventional MMU-based virtualization. Additionally, we plan to contribute to the RISC-V community by developing a QEMU implementation of the dual-stage SPMP. |
|---|---|
| Main Authors: | Rodríguez, Manuel |
| Other Authors: | Martins, José Carvalho; Sá, Bruno; Pinto, Sandro |
| Year: | 2025 |
| Country: | Portugal |
| Document type: | conference paper |
| Access type: | open access |
| Associated institution: | Universidade do Minho |
| Language: | English |
| Origin: | RepositóriUM - Universidade do Minho |
| _version_ | 1877774945154498560 |
|---|---|
| author | Rodríguez, Manuel |
| author2 | Martins, José Carvalho Sá, Bruno Pinto, Sandro |
| author2_role | author author author |
| author_facet | Rodríguez, Manuel Martins, José Carvalho Sá, Bruno Pinto, Sandro |
| author_role | author |
| contributor_name_str_mv | RepositóriUM - Universidade do Minho |
| country_str | PT |
| creators_json_txt | [{\"Person.name\":\"Rodríguez, Manuel\"},{\"Person.name\":\"Martins, José Carvalho\"},{\"Person.name\":\"Sá, Bruno\"},{\"Person.name\":\"Pinto, Sandro\"}] |
| datacite.contributors.contributor.contributorName.fl_str_mv | RepositóriUM - Universidade do Minho |
| datacite.creators.creator.creatorName.fl_str_mv | Rodríguez, Manuel Martins, José Carvalho Sá, Bruno Pinto, Sandro |
| datacite.date.Accepted.fl_str_mv | 2025-05-12T00:00:00Z |
| datacite.rights.fl_str_mv | http://purl.org/coar/access_right/c_abf2 |
| datacite.titles.title.fl_str_mv | Open-source SPMP-based CVA6 Virtualization |
| dc.contributor.none.fl_str_mv | RepositóriUM - Universidade do Minho |
| dc.creator.none.fl_str_mv | Rodríguez, Manuel Martins, José Carvalho Sá, Bruno Pinto, Sandro |
| dc.date.Accepted.fl_str_mv | 2025-05-12T00:00:00Z |
| dc.format.none.fl_str_mv | application/pdf |
| dc.identifier.none.fl_str_mv | https://hdl.handle.net/1822/101215 |
| dc.language.none.fl_str_mv | eng |
| dc.rights.none.fl_str_mv | http://purl.org/coar/access_right/c_abf2 |
| dc.rights.rights.copyright.fl_str_mv | openAccess |
| dc.title.fl_str_mv | Open-source SPMP-based CVA6 Virtualization |
| dc.type.none.fl_str_mv | http://purl.org/coar/resource_type/c_5794 |
| description | This work presents the first open-source design and implementation of the RISC-V SPMP for hypervisor. We integrated the dual-stage SPMP implementation into an MMU-less 64-bit CVA6 core with the Hypervisor extension enabled. The modified core was functionally validated using a software stack built around the Bao hypervisor. Preliminary results regarding FPGA resource utilization are also provided. Future work includes benchmarking the SPMP-based platform and comparing its performance with conventional MMU-based virtualization. Additionally, we plan to contribute to the RISC-V community by developing a QEMU implementation of the dual-stage SPMP. |
| dirty | 0 |
| eu_rights_str_mv | openAccess |
| format | conferencePaper |
| funder_facet_str_mv | FCT{{{_:::_}}}Fundação para a Ciência e a Tecnologia, I.P. |
| funding.funder.alternateName_str_mv | FCT |
| funding.funder.identifier_str_mv | http://doi.org/10.13039/501100001871 |
| funding.funder.name_str_mv | Fundação para a Ciência e a Tecnologia, I.P. |
| funding.identifier_str_mv | UIDB/00319/2020 |
| funding.name_str_mv | Concurso de avaliação no âmbito do Programa Plurianual de Financiamento de Unidades de I&D (2017/2018) - Financiamento Base |
| funding_str_mv | UIDB/00319/2020 https://hdl.handle.net/1822/97342 |
| id | rum_3c4d92fd9d68980999700d0fcf8e4165 |
| identifier.url.fl_str_mv | https://hdl.handle.net/1822/101215 |
| inst_facet_str | urn:organizationAcronym:repositorium{{{_:::_}}}Universidade do Minho |
| instacron_str | repositorium |
| institution | Universidade do Minho |
| instname_str | Universidade do Minho |
| language | eng |
| network_acronym_str | rum |
| network_name_str | RepositóriUM - Universidade do Minho |
| oai_identifier_str | oai:repositorium.uminho.pt:1822/101215 |
| organization_str_mv | urn:organizationAcronym:repositorium |
| person_str_mv | Rodríguez, Manuel Martins, José Carvalho Sá, Bruno Pinto, Sandro |
| publishDate | 2025 |
| repo_facet_str | urn:repositoryAcronym:rum{{{_:::_}}}RepositóriUM - Universidade do Minho |
| reponame_str | RepositóriUM - Universidade do Minho |
| repository_id_str | urn:repositoryAcronym:rum |
| service_str_mv | urn:repositoryAcronym:rum |
| spelling | engengThis work presents the first open-source design and implementation of the RISC-V SPMP for hypervisor. We integrated the dual-stage SPMP implementation into an MMU-less 64-bit CVA6 core with the Hypervisor extension enabled. The modified core was functionally validated using a software stack built around the Bao hypervisor. Preliminary results regarding FPGA resource utilization are also provided. Future work includes benchmarking the SPMP-based platform and comparing its performance with conventional MMU-based virtualization. Additionally, we plan to contribute to the RISC-V community by developing a QEMU implementation of the dual-stage SPMP.application/pdfengOpen-source SPMP-based CVA6 VirtualizationRodríguez, ManuelMartins, José CarvalhoSá, BrunoPinto, SandroHostingInstitutionOrganizationalRepositóriUM - Universidade do Minhoe-mailmailto:repositorium@usdb.uminho.ptrepositorium@usdb.uminho.pt2025-05-122025-05-12T00:00:00ZHandlehttps://hdl.handle.net/1822/101215http://purl.org/coar/access_right/c_abf2open access381035 bytesFundação para a Ciência e a Tecnologia, I.P.ALGORITMI Research Center [UIDB/00319/2020]Concurso de avaliação no âmbito do Programa Plurianual de Financiamento de Unidades de I&D (2017/2018) - Financiamento Basehttps://hdl.handle.net/1822/97342UIDB/00319/2020Crossref Funder IDhttp://doi.org/10.13039/501100001871other research producthttp://purl.org/coar/resource_type/c_5794conference paper2025-05-12N/AopenAccesshttp://purl.org/coar/access_right/c_abf2application/pdfhttps://repositorium.uminho.pt/bitstreams/68d741f7-f7ee-43af-a884-0cfaf941f6c5/download |
| spellingShingle | Open-source SPMP-based CVA6 Virtualization Rodríguez, Manuel |
| status | SINGLETON |
| title | Open-source SPMP-based CVA6 Virtualization |
| title_full | Open-source SPMP-based CVA6 Virtualization |
| title_fullStr | Open-source SPMP-based CVA6 Virtualization |
| title_full_unstemmed | Open-source SPMP-based CVA6 Virtualization |
| title_short | Open-source SPMP-based CVA6 Virtualization |
| title_sort | Open-source SPMP-based CVA6 Virtualization |
| url | https://hdl.handle.net/1822/101215 |
| visible | 1 |