“People love others not for who they are but for how they make them feel.”
“Use the rest of your life peacefully and conscientiously, be yourself, and live for yourself.”
“Bootlin：Working with hardware and low-level software, working together with the free software community, and sharing the experience with others so that they can at least get the best of what the community offers and hopefully one day become active contributors too. “Get the best of the community” is effectively one of our slogans.”
“PLG of Harvard: Working on problems relating to programming language foundations, design, and implementation.”
Engineering
Engineering Services: (5-7 from bootlin)
Linux/Ebed/UCos/FreeRTOS/RT-thread solution
Cross-platform C++ solution, especial for Qt/Boost library stuff
Compiler and programming language training
Embedded Dev-board, DIY electronics and kits
Linux Board Support Package development
Upstreaming Linux kernel, drivers and bootloader code
Technical support and consulting
About
“I am a college lecturer, aims to put the engineering of real-world computer systems on better foundations, developing techniques to make systems that are better-understood, more robust, and more secure. My work spans a range of computer science and technology: architectural description, embedded systems, linux and kernel, programming languages, networking, security, and concurrency. We are using rigorous engineering and techniques to improve the mainstream systems, such as Linux on ARM and RISCV.”
“Bootlin: We offer our broad embedded Linux development experience through our rigorous engineering services. We can help you to introduce Linux and open-source software in your embedded products and projects: Linux kernel porting and device driver development, integration of open-source components and system building.”
“PLG of Harvard: We are interested in problems relating to programming language foundations, design, and implementation.”
“I am also interested in problems relating to EDA, including automating the creation of software for embedded system, IC frontend design by chisel or bluespec.”
“I am also exploring programs like: Bevy, UE5, Godot, and blender for 3D videos and content generation.”
My current teaching: “2020-2021-1 Embedded Operation System”.
Other teaching: “2019-2020-2 Embedded Software Develop; 2019-2020-2 Robotics Special Subject; 2019-20-1 Principles of Micro-controller and its interfaces; 2019-20-1 Embedded Operation System Practice.”
