search

seL4 / util_libs

Other
53 stars 83 forks source link

trivial: fix ultra96 serial macro #142

Closed chrisguikema closed 1 year ago

chrisguikema commented 1 year ago 
chrisguikema: ~/seL4/UPSTREAM/sel4test/test  $ ag CONFIG_PLAT_ZYNQMP       
kernel/gen_config/kernel/gen_config.h
23:#define CONFIG_PLAT_ZYNQMP_ULTRA96V2  1  /* KernelPlatformZynqmpUltra96v2=ON */

The macro doesn't have a space when compiling for the ultra96. Not sure how that happened.

axel-h commented 1 year ago

What do you mean by "space"? Underscore?

chrisguikema commented 1 year ago

Yes, underscore.

axel-h commented 1 year ago

@lsf37 Is this good to merge? Or do you want to add the Ultra96 to the HW builds also?

lsf37 commented 1 year ago

Fine to merge from my side.