1 // Copyright 2022 The Pigweed Authors 2 // 3 // Licensed under the Apache License, Version 2.0 (the "License"); you may not 4 // use this file except in compliance with the License. You may obtain a copy of 5 // the License at 6 // 7 // https://www.apache.org/licenses/LICENSE-2.0 8 // 9 // Unless required by applicable law or agreed to in writing, software 10 // distributed under the License is distributed on an "AS IS" BASIS, WITHOUT 11 // WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the 12 // License for the specific language governing permissions and limitations under 13 // the License. 14 15 #include <array> 16 17 #define PW_LOG_MODULE_NAME "pw_system" 18 19 #include "FreeRTOS.h" 20 #include "pico/stdlib.h" 21 #include "pw_assert/check.h" 22 #include "pw_log/log.h" 23 #include "pw_string/util.h" 24 #include "pw_system/init.h" 25 #include "task.h" 26 27 extern "C" { 28 // Functions needed when configGENERATE_RUN_TIME_STATS is on. 29 // void configureTimerForRunTimeStats(void) {} 30 // unsigned long getRunTimeCounterValue(void) { return time_us_64(); } 31 } 32 main()33int main() { 34 // PICO_SDK Inits 35 stdio_init_all(); 36 setup_default_uart(); 37 // stdio_usb_init(); 38 PW_LOG_INFO("pw_system main"); 39 40 pw::system::Init(); 41 vTaskStartScheduler(); 42 PW_UNREACHABLE; 43 } 44