id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,field_blocks,field_dependson,field_seealso 782,HelenOS does not boot on Raspberry Pi,Jakub Jermář,,"As of commit 4bb4cf88f506ddc6012f655a28835fe8872e9f71, the console output stops upon entering the kernel: {{{ HelenOS bootloader, release 0.7.2 (Boosted Effort), revision 4bb4cf88f Built on 2018-12-17 21:01:02 for arm32 Copyright (c) 2001-2018 HelenOS project Boot loader: 0x00008000 -> 0x00015d40 Memory statistics 0x00015000|0x00015000: bootstrap stack 0x00010000|0x00010000: bootstrap page table 0x00015838|0x00015838: boot info structure 0x80a08000|0x00a08000: kernel entry point Boot loader: 0x00008000 -> 0x00015d40 Payload: 0x00015d40 -> 0x00263d40 Kernel load address: 0x00a08000 Kernel start: 0x80a08000 RAM end: 0x01a08000 (16777216 bytes available) Inflating components ... 0x80a08000|0x00a08000: kernel.elf.gz image (550396/154178 bytes) 0x80a8f000|0x00a8f000: ns.gz image (107112/50188 bytes) 0x80aaa000|0x00aaa000: loader.gz image (107240/50411 bytes) 0x80ac5000|0x00ac5000: init.gz image (134476/62563 bytes) 0x80ae6000|0x00ae6000: locsrv.gz image (122668/58017 bytes) 0x80b04000|0x00b04000: rd.gz image (113604/53331 bytes) 0x80b20000|0x00b20000: vfs.gz image (136864/63692 bytes) 0x80b42000|0x00b42000: logger.gz image (119284/55647 bytes) 0x80b60000|0x00b60000: fat.gz image (182444/86286 bytes) 0x80b8d000|0x00b8d000: initrd.img.gz image (5345280/1769857 bytes) Done. Booting the kernel... }}}",defect,closed,major,0.9.1,helenos/boot/arm32,mainline,fixed,,,,,