Programming

Github, Docker 등을 사용하려고 보면 GPG Key를 등록을 해야하는 경우가 있다.처음엔 단순하게 GPG Key를 등록해서 사용하던 와중에 "GPG Key는 도대체 뭘까?"내가 개인적으로 사용할 수 있는 방법은 없을까"궁금해졌고, 이번 기회에 정리해보려고 한

특정 버전의 Linux Kernel을 설치하고 Xenomai Patch를 진행하던 도중에 EFI와 관련된 문제들을 맞닥뜨렸습니다. 그래서 EFI/UEFI가 도대체 어떤 것인지 궁금하게 되어서 자료를 찾아보고 정리하는 글을 작성하게 되었습니다😂컴퓨터 하드웨어와 운영체제

Linux 시스템을 사용하다보면 .deb 확장자를 가진 파일을 자주 마주치게 됩니다. 특히 Ubuntu, Debian, 그리고 이를 기반으로 하는 배포판을 사용할 경우, 소프트웨어 설치나 배포에서 빠지지 않고 등장하는 요소 중 하나입니다.이 글에서는 데비안 패키지가 무

Linux Application 개발자로 일하면서 다양한 경험을 쌓고 있습니다😄. 그러면서 Linux Embeded System이 부팅되면서 시스템 초기화를 해야하는 사항이 생겨서 이것 저것을 알아보던 중에 Systemd라는 초기화 시스템을 알게 되어서 공부를 하면서