SEL4PROJ / AOS

Advanced Operating Systems project
https://www.cse.unsw.edu.au/~cs9242/
19 stars 17 forks source link

Add optional support for the ODROID-C4 #8

Closed ahmedcharles closed 1 year ago

ahmedcharles commented 2 years ago

To use, change:

set(PLATFORM odroidc2 CACHE STRING "" FORCE)

to:

set(PLATFORM odroidc4 CACHE STRING "" FORCE)

in settings.cmake.

Signed-off-by: Ahmed Charles acharles@outlook.com