add_greentea_test(
  NAME
    buffered_serial
  SOURCES
    ${MBED_OS_DIR}/drivers/tests/TESTS/mbed_drivers/buffered_serial/main.cpp
)

add_greentea_test(
  NAME
    crc
  SOURCES
    ${MBED_OS_DIR}/drivers/tests/TESTS/mbed_drivers/crc/main.cpp
)
