Hello, everybody!
I'm a 27 year old senior software engineer working in the London office of UDP Technology which is backed by a large engineering force in Seoul, South Korea. I am currently revamping the company's development environment (a complete overhaul) . We build IP security cameras generally based on Texas Instruments Davinci set of DSP/ARM SoCs but looking to be platform agnostic through the new development processes I am introducing
We would really like to use Arch Linux on the devices moving forward. The TI devices generally have ARMv5, ARMv7 in them that is coupled with TI DSP and/or slave ARM devices. They usually talk to each other using a TI developed syslink API. TI provide patches to the kernel that are generally pushed back into the kernel mainline that provide a working kernel for their devices.
I would really like to get a kernel built for these devices via PKGBUILD so that we can use pacman to handle the installation of software on the devices. Obviously I would contribute anything that I find so that anybody else can get Arch running on their TI chips. We would be committed to supporting and maintaining anything that we contribute for the foreseeable future. I have experience with a lot of development environments, package managers and Linux but this is my first step at creating a brand new booting environment for a chip with Linux.
I'm just trying to introduce the idea, and myself, towards of supporting Arch Linux on TI devices and would appreciate any comments about this, even if they are negative, and will perfectly understand if this doesn't resonate with the ideals of the project.
I hope to be part of the Arch Linux ARM community, in work and out of work. My Raspberry PI's run Arch Linux and two of my PCs run Arch x86_64.
Matt Clarkson