?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 7cd7a8d) | patch
Fix ia64 build when CONFIG_FPU_LAZY is disabled
commit9b7adc385e10a6ce5a0bedf71fdcd0ae1b9fd585
authorJakub Jermar <jakub@jermar.eu>
Thu, 2 Aug 2018 20:44:32 +0000 (2 22:44 +0200)
committerJakub Jermar <jakub@jermar.eu>
Thu, 2 Aug 2018 20:44:50 +0000 (2 22:44 +0200)
tree867cb49036ab7be4598f119dd4ff6d0223bfc694tree | snapshot (tar.gz zip)
parent7cd7a8d678fba9c835468054b7578fabbbdf58d2commit | diff
Fix ia64 build when CONFIG_FPU_LAZY is disabled
kernel/arch/ia64/src/interrupt.c diff | blob | blame | history
A portable microkernel-based multiserver operating system written from scratch.